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: 01569358
Price: 51.75 EUR
Availability: InStock
Author: Nachum Dershowitz
ISBN: 9783540755586

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Nachum Dershowitz

Andrei Voronkov

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01569358

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

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

Libristo kód: 01569358

125 b

51.75 €

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

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE

Brožovaná

25.11 €

Rodina v 21. století collegium

Brožovaná

3.84 €

Theodor Fontane: Effi Briest Theodor Fontane

Pevná

5.66 €

Suburban Hell Taro Kanafuro

Brožovaná

30.88 €

Educación infantil, 3 a?os

Brožovaná

19.23 €

Le Passage du Désir Almira

Brožovaná

11.94 €

La graduación de la imprudencia punible (Papel + e-book) ALBERTO DAUNIS RODRIGUEZ

Brožovaná

38.58 €

Les Tribulations d'un Chinois en Chine Jules Verne

Brožovaná

11.33 €

Schule der magischen Tiere - Auf die Plätze! Carlo Rossi

Hra

9.11 €

Geschichte der Gruben im 12. bis 19. Jahrhundert Peter Haertel

Brožovaná

34.83 €

A>tze, das Tintenmonster Ursel Scheffler

Brožovaná

5.66 €

Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone

Brožovaná

80.21 €

Internationale Steuerarbitrage unter besonderer Berucksichtigung von Zinsabzugsbeschrankungen am Beispiel von Deutschland und USA Philipp Adam

Brožovaná

18.02 €

Heilkunst und Humor Rosina Sonnenschmidt

Pevná

27.54 €

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

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 Nachum Dershowitz, Andrei Voronkov

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2007

Počet strán 564

EAN 9783540755586

ISBN 3540755586

Libristo kód 01569358

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

Váha 878

Rozmery 155 x 235 x 32

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