Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Handbook of Automated Reasoning

Name: Handbook of Automated Reasoning
Brand: Elsevier Science & Technology
SKU: 01329138
Price: 267.57 EUR
Availability: InStock
Author: Alan J A Robinson
ISBN: 9780444508126

Alan J A Robinson

Sprache

Englisch

Buch Hardcover

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

Libristo-Code: 01329138

652 b

267.57 €

Externes Lager Wir versenden in 14-21 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Magia myślenia na wielką skalę Schwartz David

Broschur

10.43 €

Storie di re Artù e dei suoi cavalieri Franco Cardini

Broschur

23.99 €

Handarbeitsspaß mit Kindern Brigitte Ettmann

Hardcover

12.64 €

Teología de la religión tradicional africana

Broschur

49.49 €

Londonish - vol. 01

Hardcover

20.16 €

Stiefel Wandkarte Miniformat Deutschland, physisch, mit Holzstäben

Karte

11.63 €

Les oubliés du Maryland Rachel Edouard

Broschur

19.27 €

Es wird mir fehlen, das Leben Ruth Picardie

Broschur

12.54 €

Šéfredaktor - společenská hra Vojtěch Probst

Buch

10.73 €

ME FALLA LA MEMORIA BILBAO

Broschur

21.27 €

SAPUKAI ROZ

Buch

27.89 €

Das geheime Buch der Wichtel Eva Schweikart

Hardcover

15.45 €

Praha - mapa panoramatická/čínsky Tomáš Rygl Buch

binding.

4.31 €

Normale Menschen Zoë Beck

Broschur

12.54 €

Explorations Yuichi Yokoyama

Broschur

20.77 €

Dune (Nueva edición) (Las crónicas de Dune 1) Frank Herbert

Broschur

13.74 €

Kepler62. Parte 4: Los pioneros BJøRN SORTLAND

Audio CD

7.72 €

L'Internationale Et Ses Mysteres Delboy

Broschur

15.15 €

SE ABRE EL TELÓN MANEL FONTDEVILA

Hardcover

12.24 €

Jahrbuch des koniglichen Botanischen Gartens und des Botanischen Museums zu Berlin August Wilhelm Eichler

Broschur

20.97 €

Amar o depender / Love or Rely Walter Riso

Broschur

13.44 €

Essais Esthetiques: L'Imitation Dans Les Arts Et Autres Textes Adam Smith

Broschur

25.08 €

Premier Roman d'Une Jeune-Femme De Lonlay-E

Broschur

20.06 €

Cuando soy timido J.S. JACKSON

Broschur

6.71 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

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

Das könnte Sie auch interessieren

Crewel Embroidery Tatiana Popova

Broschur

18.96 €

Alone at Dawn Lori Longfritz

Broschur

17.05 €

Neri Oxman: Mediated Matter PAOLA ANTONELLI

Broschur

46.96 €

Mathematical Origami Mitchell

Broschur

13.84 €

Livius XXI-XXIII: Mit Verweisungen auf Cäsars Bellum Gallicum Franz Fugner

Hardcover

32.92 €

High-Speed Digital System Design Anatoly Belous

Hardcover

169.71 €

LabVIEW Graphical Programming, Fifth Edition Richard Jennings

Broschur

105.88 €

Hands-On Data Science for Marketing Yoon Hyup Hwang

Broschur

51.68 €

The Complete Guide to Astrology: Understanding Yourself, Your Signs, and Your Birth Chart EDINGTON LOUISE

Broschur

14.64 €

My Sister, the Serial Killer Oyinkan Braithwaite

Broschur

10.03 €

Advances in Spatio-Temporal Analysis Jixian Zhang

Broschur

97.05 €

Love for Christmas: A Holiday Romance Anthology Barb DeLong

Broschur

8.02 €

40 Days to Leading an Impactful Life Series Vol. 9: Your Personal Guide to Living Motivated! Sr A Vernon Smith

Broschur

10.73 €

Niv, Quest Study Bible, Leathersoft, Black, Indexed, Comfort Print: The Only Q and A Study Bible Christianity Today Intl

Buch

70.85 €

The Book of Proverbs (KJV) (Large Print) King James Bible

Broschur

10.73 €

Guns of Vengeance Valley: Sackett Series Book # 7 Raymond D Mason

Broschur

8.42 €

Tatted Garden Alphabet: Letters from an Irish Country Cottage Garden Rozella Florence Linden

Broschur

20.17 €

The Bear & the Rose E.K. Larson-Burnett

Broschur

15.45 €

The Emergence of Word-Meaning in Early China Jane Geaney

Broschur

41.84 €

Rival Caesars Ragnar Redbeard

Broschur

20.16 €

Surrounded by Narcissists Thomas Erikson

Broschur

11.73 €

Bible Verse Coloring Book for Adults: Christian Colouring Book To Soothe the Soul, Color Beautiful Floral Designs For Stress Relief and Relaxation - f Sharon Shannon

Broschur

10.03 €