Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
Book
ISBN: 0262081741 Year: 1988 Publisher: Cambridge (Mass.) : MIT press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0273087819 9780273087816 0470210060 Year: 1988 Publisher: London: Pitman,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- Automatic theorem proving --- Nonclassical mathematical logic --- Théorèmes --- Logique mathématique non classique --- Démonstration automatique --- Théorèmes --- Logique mathématique non classique --- Démonstration automatique --- Mathematical Logic --- Theorem Proving --- Logic --- Artificial intelligence
ISBN: 0121229521 1322477477 148327778X 9780121229528 Year: 1988 Volume: 23 Publisher: Boston: Academic press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Automatic theorem proving --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Artificial intelligence --- Proof theory --- Automatic theorem proving. --- Logic, Symbolic and mathematical. --- Computer science --- Informatique --- Théorèmes --- Démonstration automatique --- Logic Computation --- Symbolic Computation --- Mathematical Logic --- Théorèmes --- Démonstration automatique
| Listing 1 - 3 of 3 |
Sort by
|