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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computer Science Logic

5th Workshop on Computer Science Logic, CSL '91, Berne, Switzerland Germany, September 28 - October 2, 1992. Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Computer Science Logic Egon Börger
Codul Libristo: 05274271
Editura Springer, Berlin, noiembrie 1991
This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the Uni... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Aquí qui mana? ANDRE RODRIGUES / Carte Copertă tare
common.buy 93.84 lei
David Gilmour: Luck And Strange David Gilmour / Digital Digital
common.buy 128.15 lei
Top
I care - PflegeExamen KOMPAKT / Carte Carte broșată
common.buy 262.14 lei
El Sermón del Padre Guarnus JOSE R. ANTON DEL LLANO / Audio Audio CD
common.buy 55.99 lei
Mężczyzna w czerwonym płaszczu Julian Barnes / Carte Copertă tare
common.buy 62.35 lei
Velká knížka NA statku pro malé vypravěče Max Walther / Carte Cărți pliante
common.buy 47.33 lei
Noah`s Wunsch nach Zeit und Liebe Stefanie Thomas / Carte Carte broșată
common.buy 65.58 lei
Doppelter Mokka Sigrid Hauff / Carte Copertă tare
common.buy 124.39 lei
Christoph Weidlichs zuverlassige Nachrichten von den jetztlebenden Rechtsgelehrten Christoph Weidlich / Carte Carte broșată
common.buy 153.90 lei
Taranathas Geschichte des Buddhismus in Indien Anton Schiefner / Carte Carte broșată
common.buy 134.40 lei
Anáfora Bernal Llorente / Carte Carte broșată
common.buy 126.58 lei
Desertor, el Patxi Larraínzar / Carte Carte broșată
common.buy 97.07 lei
Indignación Juan Manuel Villalba Hinojosa / Carte Carte broșată
common.buy 53.80 lei
Yatalak Kralice Ülkü Ayvaz / Carte Carte broșată
common.buy 72.98 lei
Die Frau von gestern Claudia Di Iorio Meier / Carte Carte broșată
common.buy 67.35 lei
Cappuccetto Rosso, m. Audio-CD / Carte Carte broșată
common.buy 78.82 lei
AMAZING SOLOS TRUMPET OR CORNET Howard Harrison / Carte Carte broșată
common.buy 152.03 lei
Ricos Werkstatt. Bd.1 Walter Noona / Materiale tipărite Note muzicale
common.buy 91.23 lei

This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many 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 Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
Limba engleză
Legare Carte - Carte broșată
Data publicării 1992
Număr pagini 431
EAN 9783540557890
ISBN 354055789X
Codul Libristo 05274271
Editura Springer, Berlin
Greutatea 638
Dimensiuni 155 x 233 x 22

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Forests of Iran Khosro Sagheb Talebi / Carte Copertă tare
common.buy 570.50 lei
Top
Where's the Penguin Poo? Alex Hunter / Carte Carte broșată
common.buy 42.95 lei
Music Street Journal 2006 Gary Hill / Carte Carte broșată
common.buy 164.33 lei
Food for Health and Cure Part Two MARIE F. DUBREUIL / Carte Carte broșată
common.buy 95.51 lei
Perspectives On The Security Of Singapore: The First 50 Years Barry Desker / Carte Copertă tare
common.buy 737.24 lei
Conquerors Tracy Turner / Carte Copertă tare
common.buy 194.15 lei
Backstage: Street Chronicles Nikki Turner / Carte Carte broșată
common.buy 95.51 lei
Salinger Contract Adam Langer / Carte Carte broșată
common.buy 104.27 lei
THE MILLER OF OLD CHURCH ELLEN GLASGOW / Carte Copertă tare
common.buy 278.62 lei
Role of Oxygen Radicals in Cardiovascular Diseases A. L'Abbate / Carte Carte broșată
common.buy 854.96 lei
Finance, Investment and Economic Fluctuations Eric Nasica / Carte Copertă tare
common.buy 821.49 lei
Statistical Applications For Health Information Management Carol E. Osborn / Carte Carte broșată
common.buy 898.34 lei
Ave verum corpus / Materiale tipărite Note muzicale
common.buy 28.88 lei
Study Guide for African Americans in the U.S. Economy James Stewart / Carte Carte broșată
common.buy 272.05 lei
Governments and Marriage Education Policy Elizabeth Van Acker / Carte Copertă tare
common.buy 307.30 lei
Vortex Dynamics, Statistical Mechanics, And Planetary Atmospheres Chjan C. Lim / Carte Carte broșată
common.buy 435.56 lei
Stress Less Don Colbert / Carte Copertă tare
common.buy 103.12 lei
Alcohol Intoxication and Withdrawal Milton Gross / Carte Carte broșată
common.buy 307.30 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