Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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: 01563961
Price: 2357 CZK
Availability: InStock
Author: Robert Nieuwenhuis
ISBN: 9783540429579

8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Robert Nieuwenhuis

Andrei Voronkov

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01563961

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2001

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

Libristo kód: 01563961

236 b

2 357 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen Daniel Werner

Brožovaná

874 Kč

Die Küstencrew (Band 1) - Das Gold der Walfänger Nathalie Kranich

Pevná

308 Kč

Usinage par décharge électrique des composites à matrice métallique en aluminium Jatinder Kumar

Brožovaná

1 338 Kč

Tieronisch Eulen (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo

Kalendář

646 Kč

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions. The book offers topical sections on verification, guarded logic, agents, automated theorem proving, non-classical logics, types, experimental aspects, foundations of logic, CSP and SAT, nonmonotonic reasoning, semantics, termination, knowledge-based systems, analysis of logic programs, databases and knowledge bases, and program analysis and proof planning.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Logic for Programming, Artificial Intelligence, and Reasoning

Autor Robert Nieuwenhuis, Andrei Voronkov

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2001

Počet stran 741

EAN 9783540429579

ISBN 3540429573

Libristo kód 01563961

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 2310

Rozměry 155 x 233 x 41

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Výpočetní a informační technologie > Informatika > Umělá inteligence

Medicína a ošetřovatelství > Medicína: obecná témata

Výpočetní a informační technologie > Operační systémy