phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft
phone Kapcsolat phoneHogyan vásároljunk

Logical Foundations of Computer Science

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Logical Foundations of Computer Science Yu. V. Matiyasevich
Libristo kód: 05274393
Kiadó Springer, Berlin, november 1993
This volume presents the refereed papers accepted for the international symposium Logical Foundation... Teljes leírás
? points 168 b
26 214 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

toplistás
Solo Leveling, Vol. 2 Chugong / Puha kötésű
common.buy 8 217 Ft
All about Weather: A First Weather Book for Kids / Puha kötésű
common.buy 2 541 Ft
Sex Tips for Gay Guys Dan Anderson / Puha kötésű
common.buy 7 468 Ft
Molecular pathological biology of Coronavirus infection SARS-CoV-2 Ilie Vasiliev / Puha kötésű
common.buy 16 345 Ft
The Miracle on Garfield Avenue Kristina Stark / Puha kötésű
common.buy 4 708 Ft
Language, Culture, Computation: Computing - Theory and Technology Nachum Dershowitz / Puha kötésű
common.buy 26 214 Ft
Theatre of Nepal and the People Who Make It Carol C. Davis / Kemény kötésű
common.buy 45 789 Ft
hamarosan
Literature of China in the Twentieth Century Bonnie S. McDougall / Kemény kötésű
common.buy 23 379 Ft
Tourism and Trails Stephen W. Boyd / Puha kötésű
common.buy 18 216 Ft
Why Europe does not need a constitution Hans Christian Siller / Puha kötésű
common.buy 17 483 Ft
US-amerikanische Erzählkunst 1990-2000. Franz Link / Puha kötésű
common.buy 27 307 Ft
The Philosophers, 1 DVD William Yeh / DVD
common.buy 3 884 Ft
Works of Charles Darwin: Vol 12: A Monograph on the Sub-Class Cirripedia (1854), Vol II, Part 1 Charles Darwin / Kemény kötésű
common.buy 47 022 Ft
Rechtliche Aspekte beim Betrieb von PKW mit national/international ortsfremden Kennzeichen Moritz Hennig / Puha kötésű
common.buy 40 626 Ft
Mord ist ihre Leidenschaft J. D. Robb / Puha kötésű
common.buy 4 024 Ft
Mathematical Foundations Of Parallel Computing V.V. Voevodin / Kemény kötésű
common.buy 56 692 Ft

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.

Információ a könyvről

Teljes megnevezés Logical Foundations of Computer Science
Szerző Yu. V. Matiyasevich, Anil Nerode
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1994
Oldalszám 397
EAN 9783540581406
ISBN 3540581405
Libristo kód 05274393
Kiadó Springer, Berlin
Súly 1
Méretek 216 x 279 x 21

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása