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.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € 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: 01563961
Price: 102.97 EUR
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

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

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

Libristo kód: 01563961

249 b

102.97 €

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

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

38.33 €

Repertorium fur Kunstwissenschaft. Band 29 FRANZ SCHESTAG

Pevná

188.55 €

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

Pevná

13.54 €

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

Brožovaná

58.76 €

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

Kalendár

28.41 €

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 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 Robert Nieuwenhuis, Andrei Voronkov

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2001

Počet strán 741

EAN 9783540429579

ISBN 3540429573

Libristo kód 01563961

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

Váha 2310

Rozmery 155 x 233 x 41

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

Medicína a ošetrovateľstvo > Medicína: všeobecné témy

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