Melvin Fitting First-order Logic And Automated Theorem Proving (texts In Computer Science)
Expédition: 1.99 EUR
Brand: Melvin Fitting
EAN:
9780387945934MPN: m00387945938
Catégorie: Livres et magazines
Binding : Gebundene Ausgabe, Edition : 2nd ed. 1996, Label : Springer, Publisher : Springer, NumberOfItems : 2, medium : Gebundene Ausgabe, numberOfPages : 326, publicationDate : 1995-12-14, authors : Melvin Fitting, languages : english, ISBN : 0387945938
Comparez les prix de:
Melvin Fitting in Livres et magazines