Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €
phone Kontakt phoneWie einkaufen

Computer Science Logic

14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Computer Science Logic Peter G. Clote
Libristo-Code: 01567557
Verlag Springer, Berlin, November 1999
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Scienc... Vollständige Beschreibung
? points 236 b
96.29 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Pharmakotherapie am Auge Eugen Gramer / Buch Broschur
common.buy 54.99 €
Deyaniya Svyatyh Apostolov Otkrovenie Leonid Mihelev / Buch Broschur
common.buy 45.49 €
Nebesa Klára Teršová / Buch Blatt
common.buy 13.29 €
Le marechal Petain Jonathan Duhoux / Buch Broschur
common.buy 12.59 €
Transfer Von Erfahrungen Bernd Humpl / Buch Broschur
common.buy 74.99 €
Kräuter-Kunde für Pferde: Natürliche Heilpflanzen und ihre Anwendung in der Pferdemedizin / Buch Hardcover
common.buy 34.99 €
Maria Werner Charlotte Spaeth / Buch Broschur
common.buy 34.90 €
Der Erwerb kraft öffentlichen Glaubens in der württembergischen Pfandgesetzgebung von 1825/1828 und im Bürgerlichen Gesetzbuch. Arndt Kiehnle / Buch Broschur
common.buy 129.90 €
Doppel-Klick - Das Sprach- und Lesebuch - Nordrhein-Westfalen - 10. Schuljahr Hans J. Heinz / Buch Hardcover
common.buy 30.59 €
Aphrodite Charlotte Charonne / Buch Broschur
common.buy 16.00 €
Silex and the city - Tome 9 - La Dérive des confinements Jul / Buch Hardcover
common.buy 18.39 €
Le carnet d'Yann - Lignes, 96p, A5 - Chapeau et N ud papillon / Kalender/Terminbuch Terminbuch
common.buy 8.39 €
Mozart's Leben. Aleksandr Dmitrievich Ulybyshev / Buch Broschur
common.buy 35.99 €
Florule Du Canton de Mery-Sur-Seine (1874) Louis Hariot / Buch Hardcover
common.buy 29.09 €
Verordnung zu Kostenerstattungsansprüchen für Gasgeräte Antiphon Verlag / Buch Blatt
common.buy 7.99 €
EL MALA DE DIOS MOOJI / Buch Broschur
common.buy 16.09 €
El Greco - Porträt des Papst Pius V. - 500 Teile (Puzzle) / Spiel/Spielzeug Spiel
common.buy 29.90 €

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual Conference of the EACSL in August 2000. The 28 revised full papers presented together with eight invited papers were carefully reviewed and selected by the program committee. Among the topics covered are automated deduction, theorem proving, categorical logic, term rewriting, finite model theory, higher order logic, lambda and combinatory calculi, computational complexity, logic programing, constraints, linear logic, modal logic, temporal logic, model checking, formal specification, formal verification, program transformation, etc.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computer Science Logic
Autor Peter G. Clote, Helmut Schwichtenberg
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2000
Anzahl der Seiten 550
EAN 9783540678953
ISBN 3540678956
Libristo-Code 01567557
Verlag Springer, Berlin
Gewicht 780
Abmessungen 155 x 235 x 29

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
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

Law of Railways, Including the Consolidation and Other General Acts of Regulating Railways in England and Ireland, with Copious Notes of Decided Cases Leonard Shelford / Buch Hardcover
common.buy 36.29 €
The Romance Of The Sowdone Of Babylon And Of Ferumbras His Son Who Conquered Rome (1881) Thomas Phillipps / Buch Broschur
common.buy 22.69 €
Executive Politics in Times of Crisis M. Lodge / Buch Broschur
common.buy 49.99 €
Race, Ethnicity, and Place in a Changing America, Third Edition John W. Frazier / Buch Broschur
common.buy 44.89 €
Queenie: A Story of Hope Marilyn Bishop / Buch Broschur
common.buy 8.39 €
Very British Revolution Martin Bell / Buch Broschur
common.buy 16.29 €
Soul Ties Tammy Henson / Buch Broschur
common.buy 11.39 €
How to Get Your Race Car to Handle in the Corners: Get through the corners faster for quicker lap times! Jon Roetman / Buch Broschur
common.buy 8.59 €
The Power of Words Lyn J Wiley / Buch Broschur
common.buy 10.69 €
A Room With A View Edward Morgan Forster / Buch Broschur
common.buy 8.69 €
Top
From the Ashes Jesse Thistle / Buch Broschur
common.buy 12.79 €
The Light of Ancient Persia Maneck Pithawalla / Buch Broschur
common.buy 26.69 €
Miseries of Fo Hi Francisque Sarcey / Buch Hardcover
common.buy 28.29 €
Rise and Fall of OPEC in the Twentieth Century Garavini / Buch Broschur
common.buy 25.59 €
Bloody Kisses Mukoro Stevenson Mukoro / Buch Broschur
common.buy 17.19 €
Leaving Aberdeen Candace Johnson / Buch Broschur
common.buy 12.19 €
1619 PROJECT HANNAH JONES NIKOLE / Buch Broschur
common.buy 16.79 €
The Railway Children EDITH NESBIT / Buch Broschur
common.buy 15.59 €
Beethoven: The String Quartets David Vernon / Buch Broschur
common.buy 13.99 €
Seven Days to the Funeral Julia Sherwood / Buch Broschur
common.buy 16.79 €
Ambivalent Affects in Kae Tempest's "Europe Is Lost" / Buch Broschur
common.buy 13.39 €
AngelGoonz / Buch Broschur
common.buy 16.19 €
Top
If We Burn: The Mass Protest Decade and the Missing Revolution Vincent Bevins / Buch Broschur
common.buy 12.99 €
Good Ideas and Power Moves Sin ad O Sullivan / E-Book Adobe ePub DRM
common.buy 13.89 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?