[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Handbook of Automated Reasoning

Sprache EnglischEnglisch
Buch Hardcover
Buch Handbook of Automated Reasoning Alan J A Robinson
Libristo-Code: 01329138
Verlag Elsevier Science & Technology, Juni 2001
This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and l... Vollständige Beschreibung
? points 868 b
346.17 € inkl. MwSt.
Externes Lager Wir versenden in 15-20 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

TOP
Real Book Hal Leonard Corporation / Broschur
common.buy 43.17 €
TOP
Silent Companions Laura Purcell / Broschur
common.buy 10.28 €
TOP
Powerful / Broschur
common.buy 7.96 €
TOP
Alone at Dawn Lori Longfritz / Broschur
common.buy 17.34 €
Ace of Spades Faridah Abike-Iyimide / Broschur
common.buy 7.46 €
Institute Stephen King / Broschur
common.buy 11.90 €
Hitorijime My Hero 10 / Broschur
common.buy 11.69 €
My Sister, the Serial Killer Oyinkan Braithwaite / Broschur
common.buy 8.77 €
Small Journal Butterflies / Terminbuch
common.buy 8.47 €
The Complete Guide to Astrology: Understanding Yourself, Your Signs, and Your Birth Chart / Broschur
common.buy 13.81 €
Crewel Embroidery Tatiana Popova / Broschur
common.buy 20.77 €
DEMNÄCHST
Neri Oxman: Mediated Matter PAOLA ANTONELLI / Broschur
common.buy 51.35 €
LabVIEW Graphical Programming, Fifth Edition Richard Jennings / Broschur
common.buy 110.07 €
Cambridge Primary Mathematics Stage 4 Learner's Book 4 Emma Low / Broschur
common.buy 21.99 €
Cutting Edge 3rd Edition Intermediate Workbook without Key Damian Williams / Broschur
common.buy 15.53 €
Mathematical Origami / Broschur
common.buy 13.91 €

This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Informationen zum Buch

Vollständiger Name Handbook of Automated Reasoning
Autor Alan J A Robinson
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2001
Anzahl der Seiten 1188
EAN 9780444508126
ISBN 0444508120
Libristo-Code 01329138
Verlag Elsevier Science & Technology
Gewicht 2430
Abmessungen 165 x 240 x 60

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur
Nachschlagewerke, Informationswissenschaften und Interdisziplinäre Themen > Forschung und Information, allgemein > Informationstheorie
EDV und Informationstechnologie > Informatik > Theoretische Informatik
Medizin > Medizin, allgemein
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto