phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Logical Foundations of Computer Science

Limba englezăengleză
Carte Carte broșată
Carte Logical Foundations of Computer Science Yu. V. Matiyasevich
Codul Libristo: 05274393
Editura Springer, Berlin, noiembrie 1993
This volume presents the refereed papers accepted for the international symposium Logical Foundation... Descrierea completă
? points 161 b
325 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Solo Leveling, Vol. 2 Chugong / Carte broșată
common.buy 101 lei
All about Weather: A First Weather Book for Kids / Carte broșată
common.buy 32 lei
Sex Tips for Gay Guys Dan Anderson / Carte broșată
common.buy 91 lei
Molecular pathological biology of Coronavirus infection SARS-CoV-2 Ilie Vasiliev / Carte broșată
common.buy 212 lei
The Miracle on Garfield Avenue Kristina Stark / Carte broșată
common.buy 58 lei
The Philosophers, 1 DVD William Yeh / DVD
common.buy 50 lei
Theatre of Nepal and the People Who Make It Carol C. Davis / Copertă tare
common.buy 568 lei
Language, Culture, Computation: Computing - Theory and Technology Nachum Dershowitz / Carte broșată
common.buy 325 lei
curând
Literature of China in the Twentieth Century Bonnie S. McDougall / Copertă tare
common.buy 303 lei
Tourism and Trails Stephen W. Boyd / Carte broșată
common.buy 236 lei
Why Europe does not need a constitution Hans Christian Siller / Carte broșată
common.buy 216 lei
US-amerikanische Erzählkunst 1990-2000. Franz Link / Carte broșată
common.buy 353 lei
Works of Charles Darwin: Vol 12: A Monograph on the Sub-Class Cirripedia (1854), Vol II, Part 1 Charles Darwin / Copertă tare
common.buy 609 lei
Rechtliche Aspekte beim Betrieb von PKW mit national/international ortsfremden Kennzeichen Moritz Hennig / Carte broșată
common.buy 501 lei
Mord ist ihre Leidenschaft J. D. Robb / Carte broșată
common.buy 52 lei
Mathematical Foundations Of Parallel Computing V.V. Voevodin / Copertă tare
common.buy 728 lei

This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West.The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity.

Informații despre carte

Titlu complet Logical Foundations of Computer Science
Autor Yu. V. Matiyasevich, Anil Nerode
Limba engleză
Legare Carte - Carte broșată
Data publicării 1994
Număr pagini 397
EAN 9783540581406
ISBN 3540581405
Codul Libristo 05274393
Editura Springer, Berlin
Greutatea 1
Dimensiuni 216 x 279 x 21

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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

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