Automated Deduction in Classical and Non-Classical Logics - Selected Papers
2000 Kartoniert, 312 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThisvolumeisacollectionofpapers onautomateddeduction inclassical, modal, and many-valued logics, with an emphasis on rst-order theories. Some authors bridgethe gaptohigher-order logic…
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Comput…
Verlag: Springer Berlin Heidelberg,
2008. Taschenbuch 312 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Ve…
- ISBN / EAN
- 9783540671909
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!