跳转至内容
Main menu
Main menu
move to sidebar
hide
Navigation
Main Page
Help
Browse
Cookbook
Wikijunior
Featured books
Recent changes
Random book
Using Wikibooks
Community
Reading room forum
Community portal
Bulletin Board
Help out!
Policies and guidelines
Contact us
Search
Search
Donations
Appearance
Create account
Log in
Personal tools
Create account
Log in
Pages for logged out editors
learn more
Contributions
Discussion for this IP address
计算机科学逻辑/谓词逻辑/析取策略
Add languages
Add links
Book
Discussion
English
Read
Edit
Edit source
View history
Tools
Tools
move to sidebar
hide
Actions
Read
Edit
Edit source
View history
General
What links here
Related changes
Upload file
Special pages
Page information
Get shortened URL
Download QR code
Sister projects
Wikipedia
Wikiversity
Wiktionary
Wikiquote
Wikisource
Wikinews
Wikivoyage
Commons
Wikidata
MediaWiki
Meta-Wiki
Print/export
Create a collection
Download as PDF
Printable version
In other projects
外观
移至侧边栏
隐藏
来自维客图书，免费的开放世界课本
<
计算机科学逻辑
|
谓词逻辑
此页面可能需要
审核
其质量。
5.8.1 线性析取
5.8.2 输入和单位析取
5.8.3 SLD 析取
5.8.4 类似 Prolog 的实现
5.8.5 迭代加深
类别
:
书籍：计算机科学逻辑
华夏公益教科书
