Search
Feedback
About
Help
News
| Listing 1 - 4 of 4 |
Sort by
|
Book
Year: 1983 Publisher: Long Beach (CA) : IEEE Computer Society Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0387120440 0387120432 3540120432 9780387120447 9780387120430 Year: 1983 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Automatic theorem proving --- #KVIV --- 681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Automatic theorem proving. --- Théorèmes --- Démonstration automatique --- Logic, Symbolic and mathematical --- Logique mathématique --- Théorèmes --- Démonstration automatique --- Logic, Symbolic and mathematical. --- Logique mathématique. --- Logic --- Theorem Proving --- Artificial intelligence --- Logique mathematique --- Theorie de la preuve
Book
ISBN: 3540120440 3642819575 3642819559 Year: 1983 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
#KVIV --- 681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Logic, Symbolic and mathematical --- Automatic theorem proving --- Logique mathématique --- Théorèmes --- Démonstration automatique --- Logic, Symbolic and mathematical. --- Automatic theorem proving. --- Logique mathématique. --- Théorèmes --- Démonstration automatique --- Logique mathematique --- Theorie de la preuve
ISBN: 9027715734 9048183812 9401727945 9789027715739 Year: 1983 Volume: 169 Publisher: Dordrecht : D. Reidel,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Proof theory --- Modality (Logic) --- Intuitionistic mathematics --- Logic, Symbolic and mathematical --- Modal logic --- Logic --- Nonclassical mathematical logic --- Bisimulation --- Constructive mathematics --- Mathematics --- Intuitionistic mathematics. --- Proof theory. --- Modality (Logic). --- Logique mathématique --- Théorie des modèles --- Intuitionnisme --- Logique générale --- Logique mathematique --- Logique modale --- Theorie de la preuve
| Listing 1 - 4 of 4 |
Sort by
|