| Born | 1953 |
2 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
| 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 |