Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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: 50.63 EUR
Availability: InStock
Author: Matthias Baaz
ISBN: 9783540000105

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

Matthias Baaz

Andrei Voronkov

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01555913

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2002

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Prog... Celý popis

Libristo kód: 01555913

122 b

50.63 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Leto tvojej nehy Juraj Kalnický

Pevná

2.93 €

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

Pevná

14.47 €

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

Audio CD

63.29 €

LES COQUILLAGES ET CE QU'ILS CACHENT Helen SCALES

Kniha

17.11 €

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

Brožovaná

9.21 €

CONTRE-NOIR MATTHIEU PECK

Brožovaná

25.31 €

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

Pevná

19.74 €

Mezi vilami Justin Quinn

Pevná

10.32 €

Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta

Brožovaná

10.62 €

Promenades A Chamouni Lutz-M

Brožovaná

13.87 €

Karma Tolstói

Brožovaná

12.24 €

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

Brožovaná

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.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Logic for Programming, Artificial Intelligence, and Reasoning

Autor Matthias Baaz, Andrei Voronkov

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2002

Počet strán 470

EAN 9783540000105

ISBN 3540000100

Libristo kód 01555913

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 1490

Rozmery 155 x 235 x 27

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Informatika > Umelá inteligencia

Výpočtové a informačné technológie > Operačné systémy