Born | 1953 |
2 works Add another?
Sorted by:
Most Editions
|
First Published
|
Most Recent
|
Top Rated
|
Reading Log
|
Random
Showing all works by author. Would you like to see only ebooks?
Born | 1953 |
Subjects
Sorting (Electronic computers), Symbolic and mathematical Logic, Déduction automatique, Formalisme, Logique 1er ordre, Logique mathématique, Logique symbolique et mathématique, Ordnungssortierte Logik, Représentation connaissance, Résolution problème, Tri (Informatique), Tri (Ordinateurs), UnifikationstheorieID Numbers
- OLID: OL6958959A
Links (outside Open Library)
No links yet. Add one?
July 29, 2011 | Created by LC Bot | import new book |