Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Logic for Programming, Artificial Intelligence, and Reasoning Matthias Baaz
Kod Libristo: 01555913
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2002
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Prog... Cały opis
? points 122 b
213.97 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Leto tvojej nehy Juraj Kalnický / Książka Twarda
common.buy 14.02 zł
Egal was sich auch ändert, das Herz bleibt genau dasselbe Berman Vered / Książka Twarda
common.buy 61.23 zł
Gold & Rainbows-The Warner Bros Years 1969-1978 Seals and Crofts / Audio CD Audio
common.buy 267.50 zł
LES COQUILLAGES ET CE QU'ILS CACHENT Helen SCALES / Książka Książka
common.buy 72.45 zł
Knooking – pletení na háčku. Základní postupy krok za krokem Veronika Hugová / Książka Miękka
common.buy 41.28 zł
CONTRE-NOIR MATTHIEU PECK / Książka Miękka
common.buy 106.93 zł
Die Silbermeer-Saga (Band 2) - Die Fließende Karte Katharina Hartwell / Książka Twarda
common.buy 83.58 zł
Mezi vilami Justin Quinn / Książka Twarda
common.buy 45.29 zł
Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta / Książka Miękka
common.buy 47.40 zł
Promenades A Chamouni Lutz-M / Książka Miękka
common.buy 61.73 zł
Karma Tolstói / Książka Miękka
common.buy 51.81 zł
Etudes de la Nature. Tome 3 Henri Bernardin De Saint-Pierre / Książka Miękka
common.buy 140.31 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logic for Programming, Artificial Intelligence, and Reasoning
Autor Matthias Baaz, Andrei Voronkov
Język Angielski
Oprawa Książka - Miękka
Data wydania 2002
Liczba stron 470
EAN 9783540000105
ISBN 3540000100
Kod Libristo 01555913
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1490
Wymiary 155 x 235 x 27

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Non Coding RNAs in Plants Volker A. Erdmann / Książka Miękka
common.buy 870.67 zł
Army of Shadows Joseph Kessel / Książka Miękka
common.buy 73.16 zł
Legacies of Great Men in World Soccer Kausik Bandyopadhyay / Książka Twarda
common.buy 590.83 zł
Papers by Command, Volume 88 Great Britain Parliament House of Comm / Książka Twarda
common.buy 214.08 zł
Zapowiedź
Skills-Based Health Education Mary Connolly / Książka Miękka
common.buy 634.83 zł
Ordnance Survey Memoirs of Ireland: Vol. 11: Parishes of Co. Londonderry III: 1831-5 Angelique Day / Książka Miękka
common.buy 66.84 zł
Learn Java for Android Development: Java 8 and Android 5 Edition Jeff Friesen / Książka Miękka
common.buy 120.36 zł
Family Tree Albany De Fonblanque / Książka Twarda
common.buy 145.92 zł
Frankia in Heavy Metals and Aromatic Compounds Bio-remediation Medhat Rehan / Książka Miękka
common.buy 210.97 zł
Life Less Throwaway Tara Button / Książka Miękka
common.buy 60.73 zł
NETWORKING 2012 Workshops Zdenek Becvar / Książka Miękka
common.buy 218.69 zł
Ice Kevin Tinto / Książka Miękka
common.buy 68.55 zł
Chemistry: Theory and Practice BRUCE HORAK / Książka Twarda
common.buy 547.53 zł
Nursing Care and ECMO Chirine Mossadegh / Książka Miękka
common.buy 162.86 zł
Hymns for Brass: Conductor Hal Leonard Corp / Książka Miękka
common.buy 57.52 zł
Write Now Inga Dubay / Książka Miękka
common.buy 57.42 zł
New Spring: Prequel to the Wheel of Time Robert Jordan / Książka Miękka
common.buy 35.67 zł
Expanding World Ayahuasca Diaspora Beatriz Caiuby Labate / Książka Miękka
common.buy 272.91 zł
Through Deserts And Oases Of Central Asia Ella Sykes / Książka Twarda
common.buy 193.83 zł
Zapowiedź
National Geographic Traveler Japan 7th Edition E07 / Książka Miękka
common.buy 103.22 zł
Broken Boundaries Katherine M. Quinsey / Książka Miękka
common.buy 144.52 zł
Seed-borne plant virus diseases K. Subramanya Sastry / Książka Twarda
common.buy 653.27 zł
Building Structures Illustrated - Patterns, Systems, and Design, Second Edition Francis D K Ching / Książka Miękka
common.buy 226.50 zł
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE Bran Selic / Książka Miękka
common.buy 262.89 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo