Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computer Science Logic

9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Computer Science Logic Hans Kleine Buening
Codul Libristo: 05274587
Editura Springer, Berlin, noiembrie 1995
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference... Descrierea completă
? points 132 b
285.65 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Erfolgreich verhandeln Jörg Kupjetz / Carte Carte broșată
common.buy 163.49 lei
Internationales Verzeichnis der Monogramme bildender Kunstler des 19. und 20. Jahrhunderts / International List of Monograms in the Visual Arts of the Paul Pfisterer / Carte Copertă tare
common.buy 2 409.84 lei
Grippe, Cholera und Pest Dieter Kiepenkracher / Carte Carte broșată
common.buy 50.71 lei
Asphalt Tribe Morton Rhue / Carte Carte broșată
common.buy 45.71 lei
Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD Klaus-P. Weigand / Audio Audio CD
common.buy 60.29 lei
1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen Mark Twain / Carte Carte broșată
common.buy 65.08 lei
Lexikon der Sprichwoerter und Redensarten Band 13 (Es - Er) René Dick / Carte Carte broșată
common.buy 217.75 lei
besten und verrucktesten Kneipen-Namen Dieter Auer / Carte Carte broșată
common.buy 55.29 lei
Wichtel Nick Admar Kwant / Carte Cărți pliante
common.buy 58.72 lei
Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil. Karl-Dieter Müller / Carte Carte broșată
common.buy 390.83 lei

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computer Science Logic
Autor Hans Kleine Buening
Limba engleză
Legare Carte - Carte broșată
Data publicării 1996
Număr pagini 492
EAN 9783540613770
ISBN 3540613773
Codul Libristo 05274587
Editura Springer, Berlin
Greutatea 659
Dimensiuni 156 x 234 x 25

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Conversations with Erskine Caldwell Edwin T. Arnold / Carte Carte broșată
common.buy 194.32 lei
Embracing Midlife Lynne M. Baab / Carte Carte broșată
common.buy 160.26 lei
Chicana and Chicano Art Carlos Francisco Jackson / Carte Carte broșată
common.buy 150.89 lei
Things Good Girls Don't Do Codi Gary / Carte Carte broșată
common.buy 50.92 lei
The Original Adventures of Hank the Cowdog John R. Erickson / Carte Copertă tare
common.buy 71.74 lei
Being Modern in Iran Fariba Adelkhah / Carte Copertă tare
common.buy 228.79 lei
Botanical Medicine in Clinical Practice Victor Preedy / Carte Copertă tare
common.buy 2 176.35 lei
Curând
Augustine Gillian Clark / Carte Copertă tare
common.buy 822.19 lei
Handbook of Colorectal Surgery David Beck / Carte Copertă tare
common.buy 554.55 lei
Nietzsche: A Complete Introduction: Teach Yourself Roy Jackson / Carte Carte broșată
common.buy 75.91 lei
Legal Practice in Ayr and the West of Scotland in the Fifteenth and Sixteenth Centuries: A Study in Economic History. David Murray / Carte Carte broșată
common.buy 110.59 lei
Garden of Thorns: A novel of romantic suspense Lillian Stewart Carl / Carte Carte broșată
common.buy 81.53 lei
Understanding and Reducing Landslide Disaster Risk: Volume 3 Monitoring and Early Warning Nicola Casagli / Carte Copertă tare
common.buy 910.40 lei
Handbook of Neurochemistry and Molecular Neurobiology Abel Lajtha / Carte Copertă tare
common.buy 853.85 lei
Numerical Integration T.O. Espelid / Carte Copertă tare
common.buy 514.87 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?