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 Programming and Automated Reasoning

Name: Logic Programming and Automated Reasoning
Brand: Springer, Berlin
SKU: 05274323
Price: 1182 CZK
Availability: InStock
Author: Andrei Voronkov
ISBN: 9783540569442

4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993. Proceedings

Andrei Voronkov

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274323

Nakladatelství Springer, Berlin, listopad 1992

LPAR is an international conference series aimed at bringing together researchers interested in logi... Celý popis

Libristo kód: 05274323

118 b

1 182 Kč

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

30 dní na vrácení zboží

Zákazníci také koupili

Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization

Brožovaná

876 Kč

Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee

Leporelo

216 Kč

Microblogging En La Educacion Lenis Querales

Brožovaná

592 Kč

Prosa. Tl.1 Paul Celan

Pevná

2 243 Kč

Sedmý závoj - Listy z jednoho století František R. Kraus

Pevná

181 Kč

Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok

Pevná

410 Kč

Gay: Saliendose y viniendose Kathleen Hope

Adobe ePub DRM

115 Kč

Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol

Pevná

653 Kč

Noches de uvas que han fermentado Jaime Cesar

Brožovaná

155 Kč

Traktory i kombajny Krzysztof Kozera

Brožovaná

118 Kč

Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson

Brožovaná

279 Kč

Espa?ol - Marathi: Escritura & Colorear Alfabeto Libros Educación Infantiles: Spanish Marathi Practicar alfabeto ABC letras con dibujos a Emilly Lima

Brožovaná

237 Kč

Commander (Buch III) Heino Caesar

Brožovaná

794 Kč

Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller

Brožovaná

511 Kč

Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann

Brožovaná

1 768 Kč

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".

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 Programming and Automated Reasoning

Autor Andrei Voronkov

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1993

Počet stran 394

EAN 9783540569442

ISBN 3540569448

Libristo kód 05274323

Nakladatelství Springer, Berlin

Váha 533

Rozměry 155 x 233 x 21

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

Matematika a věda > Matematika > Matematické základy > Matematická logika

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

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