Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

phone

Kontakt

phone

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

0

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Knjiga Logic for Programming, Artificial Intelligence, and Reasoning Matthias Baaz

Logic for Programming, Artificial Intelligence, and Reasoning

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

Andrei Voronkov

Jezik

Angleščina

Knjiga Mehka

Knjiga Logic for Programming, Artificial Intelligence, and Reasoning Matthias Baaz

Koda Libristo: 01555913

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2002

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

Koda Libristo: 01555913

?

points

115 b

47.80 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Leto tvojej nehy Juraj Kalnický

/

Trda

2.83 €

Egal was sich auch ändert, das Herz bleibt genau dasselbe Berman Vered

/

Trda

13.56 €

Gold & Rainbows-The Warner Bros Years 1969-1978 Seals and Crofts

/

Zvočni CD

60.25 €

LES COQUILLAGES ET CE QU'ILS CACHENT Helen SCALES

/

Knjiga

15.59 €

Knooking – pletení na háčku. Základní postupy krok za krokem Veronika Hugová

/

Mehka

9.11 €

CONTRE-NOIR MATTHIEU PECK

/

Mehka

23.08 €

Die Silbermeer-Saga (Band 2) - Die Fließende Karte Katharina Hartwell

/

Trda

18.63 €

Mezi vilami Justin Quinn

/

Trda

9.51 €

Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta

/

Mehka

10.62 €

Promenades A Chamouni Lutz-M

/

Mehka

13.87 €

Karma Tolstói

/

Mehka

11.13 €

Etudes de la Nature. Tome 3 Henri Bernardin De Saint-Pierre

/

Mehka

31.69 €

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.

Igralka & Poliglotka

EWA KASP za

Predvajaj video

Ewa Kasp

Ewa Kasp

Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Logic for Programming, Artificial Intelligence, and Reasoning

Avtor Matthias Baaz, Andrei Voronkov

Jezik

Angleščina

Vezava Knjiga - Mehka

Datum izida 2002

Število strani 470

EAN 9783540000105

ISBN 3540000100

Koda Libristo 01555913

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Teža 1490

Mere 155 x 235 x 27

Kategorije

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

Podarite to knjigo še danes

To je povsem preprosto

1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Non Coding RNAs in Plants Volker A. Erdmann

/

Mehka

194.76 €

Army of Shadows Joseph Kessel

/

Mehka

16.20 €

Legacies of Great Men in World Soccer Kausik Bandyopadhyay

/

Trda

132.77 €

Papers by Command, Volume 88 Great Britain Parliament House of Comm

/

Trda

48.20 €

Skills-Based Health Education Mary Connolly

/

Mehka

134.29 €

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

/

Mehka

14.88 €

Learn Java for Android Development: Java 8 and Android 5 Edition Jeff Friesen

/

Mehka

27.13 €

Family Tree Albany De Fonblanque

/

Trda

32.81 €

Frankia in Heavy Metals and Aromatic Compounds Bio-remediation Medhat Rehan

/

Mehka

46.99 €

Life Less Throwaway Tara Button

/

Mehka

15.28 €

NETWORKING 2012 Workshops Zdenek Becvar

/

Mehka

48.91 €

Ice Kevin Tinto

/

Mehka

15.39 €

Chemistry: Theory and Practice BRUCE HORAK

/

Trda

122.54 €

Nursing Care and ECMO Chirine Mossadegh

/

Mehka

36.35 €

Hymns for Brass: Conductor Hal Leonard Corp

/

Mehka

12.75 €

Write Now Inga Dubay

/

Mehka

12.75 €

New Spring: Prequel to the Wheel of Time Robert Jordan

/

Mehka

7.89 €

Expanding World Ayahuasca Diaspora Beatriz Caiuby Labate

/

Mehka

61.37 €

Through Deserts And Oases Of Central Asia Ella Sykes

/

Trda

43.64 €

National Geographic Traveler Japan 7th Edition E07

/

Mehka

22.78 €

Broken Boundaries Katherine M. Quinsey

/

Mehka

32.70 €

Seed-borne plant virus diseases K. Subramanya Sastry

/

Trda

146.14 €

Building Structures Illustrated - Patterns, Systems, and Design, Second Edition Francis D K Ching

/

Mehka

50.83 €

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

/

Mehka

65.11 €

Knjižni svetovalec Libroamiko

Pozdravljeni, sem Libroamiko, vam lahko pomagam?