Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Besplatna dostava Overseas kurirskom službom iznad 59.99 €

Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01555913
Price: 61.28 EUR
Availability: InStock

Matthias Baaz

Andrei Voronkov

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01555913

Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2002

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Prog... Cijeli opis

Libristo kod: 01555913

154 b

61.28 €

Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Super Anti-Oxidants James F. Balch

/ Meki uvez

13.37 €

Security Information and Event Management (SIEM) Implementation David Miller

/ Meki uvez

67.52 €

Neuroscience, Consciousness and Spirituality Harald Walach

/ Meki uvez

218.27 €

Non Coding RNAs in Plants Volker A. Erdmann

/ Meki uvez

239.91 €

NETWORKING 2012 Workshops Zdenek Becvar

/ Meki uvez

61.28 €

Seed-borne plant virus diseases K. Subramanya Sastry

/ Tvrdi uvez

185.76 €

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE Bran Selic

/ Meki uvez

73.76 €

Tomb Raiders and Space Invaders Geoff King

/ Tvrdi uvez

229.74 €

Music of the Moravian Church in America Nola Reed Knouse

/ Meki uvez

37.53 €

Ice Kevin Tinto

/ Meki uvez

16.70 €

Ordnance Survey Memoirs of Ireland: Vol. 11: Parishes of Co. Londonderry III: 1831-5 Angelique Day

/ Meki uvez

18.00 €

Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta

/ Meki uvez

11.97 €

Chemistry: Theory and Practice BRUCE HORAK

/ Tvrdi uvez

137.46 €

Skills-Based Health Education Mary Connolly

/ Meki uvez

192.31 €

Legacies of Great Men in World Soccer

/ Tvrdi uvez

134.14 €

Handbook of Concentrator Photovoltaic Technology Carlos Algora

/ Tvrdi uvez

167.05 €

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

Informacije o knjizi

Puni naziv Logic for Programming, Artificial Intelligence, and Reasoning

Autor Matthias Baaz, Andrei Voronkov

Jezik

Engleski

Uvez Knjiga - Meki uvez

Datum izdanja 2002

Broj stranica 470

EAN 9783540000105

ISBN 3540000100

Libristo kod 01555913

Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Težina 1490

Dimenzije 155 x 235 x 27

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

Computing & Information Technology > Computer science > Artificial intelligence

Computing & Information Technology > Operating systems

Poklonite ovu knjigu još danas

To je jednostavno

1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Dostava

Savjetnik za kupnju