Der ausgewählte Artikel ist nicht mehr verfügbar, aber wir haben etwas Ähnliches gefunden.

Bild 1 von 1

Standardbild

Andrei Voronkov (u. a.) | Logic for Programming and Automated Reasoning | Buch - Bild 1 von 1

Logic for Programming and Automated Reasoning von Michel Parigot (2000, Taschenbuch)

Schreiben Sie die ersteRezension.

Faboplay (13478)
99,8% positive Bewertungen

Preis:

€ 49,95

(inkl. MwSt.)

+ EUR 2,95 Versand

Lieferung ca. Fr, 10. Mai - Di, 14. Mai

Rücknahmen:

1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Alle Details ansehen

Über dieses Produkt

Produktinformation

This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held onReunionIsland,France,6-10November2000,followedbythe ReunionWo- shop on Implementation of Logic. Sixty-?ve papers were submitted to LPAR 2000 of which twenty-six papers were accepted. Submissions by the program committee members were not - lowed. There was a special category of experimental papers intended to describe implementations of systems, to report experiments with implemented systems, orto compareimplementedsystems.Eachof thesubmissionswasreviewedbyat least three program committee members and an electronic program committee meeting was held via the Internet. In addition to the refereed papers, this volume contains full papers by two of the four invited speakers, Georg Gottlob and Michä el Rusinowitch, along with an extended abstract of Bruno Courcelle's invited lecture and an abstract of Erich Gr¿ adel's invited lecture. WewouldliketothankthemanypeoplewhohavemadeLPAR2000possible. We are grateful to the following groups and individuals: the program and or- nizing committees; the additional referees; the local arrangements chair Teodor Knapik; PascalManoury, who was in chargeof accommodation; Konstantin - rovin,whomaintainedthe programcommittee Webpage;andBillMcCune,who implemented the program committee management software.

Produktkennzeichnungen

Herausgeber
Michel Parigot, Andrei Voronkov
ISBN-10
3540412859
ISBN-13
9783540412854
eBay Product ID (ePID)
64189551

Produkt Hauptmerkmale

Produktart
Lehrbuch
Sprache
Englisch
Anzahl der Seiten
508 Seiten
Verlag
Springer Berlin Heidelberg, Springer Berlin
Publikationsname
Logic For Programming And Automated Reasoning
Autor
Michel Parigot, Andrei Voronkov
Format
Taschenbuch
Erscheinungsjahr
2000

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Paperback
Item Length
23cm
Item Height
2cm
Item Width
15cm
Nummer Innerhalb der Serie
1955
Item Weight
762g
Buchreihe
Lecture Notes in Artificial Intelligence

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 12,00 Neu
EUR 9,69 Gebraucht
Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

Volker Busch | Kopf hoch! | Buch | Deutsch (2024) | 352 S. | Droemer
EUR 20,00
Preistendenz: EUR 20,30
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,42

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant

Stöbern in Kategorien

Bild 1 von 1

Logic for Programming and Automated Reasoning von Michel Parigot (2000, Taschenbuch)

Über dieses Produkt

Produktinformation

Produktkennzeichnungen

Produkt Hauptmerkmale

Zusätzliche Produkteigenschaften

Meistverkauft in Studium & Erwachsenenbildung

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)

Hier sparen: Studium & Erwachsenenbildung

Volker Busch | Kopf hoch! | Buch | Deutsch (2024) | 352 S. | Droemer

Einfaches Kassenbuch | Einnahmen und Ausgaben

Auch interessant

2000er Bücher im Taschenbuch Sachbuch

Lehrbücher als Taschenbuch

Sonstige Bücher im Taschenbuch-Format

Brockhaus Taschenbücher

Frauenliteratur-Taschenbücher

Humor Taschenbücher