Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
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, UnifikationstheorieShowing 1 featured edition. View all 1 editions?
Edition | 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 |