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

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

Limba englezăengleză
Carte Carte broșată
Carte Computer Science Logic Peter G. Clote
Codul Libristo: 01567557
Editura Springer, Berlin, noiembrie 1999
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Scienc... Descrierea completă
? points 263 b
570.50 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Pharmakotherapie am Auge Eugen Gramer / Carte Carte broșată
common.buy 293.85 lei
Maria Werner Charlotte Spaeth / Carte Carte broșată
common.buy 173.72 lei
Mozart's Leben. Aleksandr Dmitrievich Ulybyshev / Carte Carte broșată
common.buy 143.06 lei
EL MALA DE DIOS MOOJI / Carte Carte broșată
common.buy 100.10 lei
Le carnet d'Yann - Lignes, 96p, A5 - Chapeau et N ud papillon / Calendar / Agendă Agendă
common.buy 56.93 lei
Doppel-Klick - Das Sprach- und Lesebuch - Nordrhein-Westfalen - 10. Schuljahr Hans J. Heinz / Carte Copertă tare
common.buy 180.70 lei
Transfer Von Erfahrungen Bernd Humpl / Carte Carte broșată
common.buy 400.42 lei

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.

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 Peter G. Clote, Helmut Schwichtenberg
Limba engleză
Legare Carte - Carte broșată
Data publicării 2000
Număr pagini 550
EAN 9783540678953
ISBN 3540678956
Codul Libristo 01567557
Editura Springer, Berlin
Greutatea 780
Dimensiuni 155 x 235 x 29

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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
Computing & Information Technology > Computer science > Artificial intelligence
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

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 / Carte Copertă tare
common.buy 236.91 lei
Works of Jeremy Bentham, published under his executor, John Bowring. [The General Preface signed John Bowring / Carte Carte broșată
common.buy 174.13 lei
Good Ideas and Power Moves Sin ad O Sullivan / E-book Adobe ePub DRM
common.buy 86.85 lei
If We Burn: The Mass Protest Decade and the Missing Revolution Vincent Bevins / Carte Carte broșată
common.buy 79.45 lei
AngelGoonz / Carte Carte broșată
common.buy 106.56 lei
Seven Days to the Funeral Julia Sherwood / Carte Carte broșată
common.buy 147.02 lei
Beethoven: The String Quartets David Vernon / Carte Carte broșată
common.buy 87.06 lei
Bloody Kisses Mukoro Stevenson Mukoro / Carte Carte broșată
common.buy 110.73 lei
The Romance Of The Sowdone Of Babylon And Of Ferumbras His Son Who Conquered Rome (1881) Thomas Phillipps / Carte Carte broșată
common.buy 148.27 lei
A Room With A View Edward Morgan Forster / Carte Carte broșată
common.buy 57.13 lei
Soul Ties Tammy Henson / Carte Carte broșată
common.buy 70.38 lei
Executive Politics in Times of Crisis M. Lodge / Carte Carte broșată
common.buy 294.89 lei
Very British Revolution Martin Bell / Carte Carte broșată
common.buy 100.51 lei
Popular Religion in Germany and Central Europe, 1400-1800 R Johnson T.R. Sc / Carte Carte broșată
common.buy 299.27 lei
One Discipline, Four Ways Andre Gingrich / Carte Carte broșată
common.buy 210.63 lei
Evolutionary Biology Max K. Hecht / Carte Copertă tare
common.buy 601.78 lei
Actin-Binding Proteins and Disease Cris dos Remedios / Carte Carte broșată
common.buy 1 139.23 lei
Remote Sensing Siamak Khorram / Carte Carte broșată
common.buy 286.02 lei
Curând
Democracy and Communication in the New Europe Farrel Corcoran / Carte Copertă tare
common.buy 395.62 lei
Great Opera Houses: Masterpieces of Architecture Andras Kaldor / Carte Copertă tare
common.buy 64.02 lei
Family Policy and Disability Arie Rimmerman / Carte Copertă tare
common.buy 798.65 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