Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Subjects
Logique 1er ordre, Logique symbolique et mathématique, Sorting (Electronic computers), Symbolic and mathematical Logic, Résolution problème, Représentation connaissance, Tri (Informatique), Déduction automatique, Ordnungssortierte Logik, Formalisme, Tri (Ordinateurs), Logique mathématique, UnifikationstheorieEdition | Availability |
---|---|
1
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science)
October 18, 1989, Springer
Paperback
in English
- 1 edition
354051659X 9783540516590
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?June 29, 2019 | Created by MARC Bot | import existing book |