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.

Automated Deduction - CADE-11

Name: Automated Deduction - CADE-11
Brand: Springer, Berlin
SKU: 01565541
Price: 2357 CZK
Availability: InStock
Author: Alan Bundy
ISBN: 9783540556022

11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings.

Alan Bundy

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01565541

Nakladatelství Springer, Berlin, listopad 1991

This volume contains the papers presented at the Eleventh International Conference on Automated Dedu... Celý popis

Libristo kód: 01565541

236 b

2 357 Kč

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

Až 30 dní na vrácení zboží

Zákazníci také koupili

ASPEKT in collegium

Brožovaná

72 Kč

Boy tar. French Mayne Reid

Pevná

509 Kč

Düsseldorfer Forum Politische Kommunikation Esra Aydin

Brožovaná

620 Kč

Faisons Fortune ROSENTHAL-L

Brožovaná

582 Kč

DROIT PENAL GENERAL 2EME EDITION LETURMY L

Brožovaná

243 Kč

UN DÍA DE JUEGOS CON BLUE! 7B LSD BLUE CLUES

Pevná

360 Kč

Das Gesim-Konzept Andreas Prömmel

Brožovaná

1 918 Kč

This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, in June 1992. A total of 136 papers were submitted for presentation by researchers from nearly 20 countries. Papers covered many topics including: resolution; term rewriting; natural deduction; theorem proving, in particular in algebra and geometry; parallel theorem provers; unification theory; constraint solving; logic programing; verification; multivalued, temporal and nonclassical logics; non-monotonic reasoning; planning; proof theory; higher-order logics; and inductive theorem proving. Each submission was reviewed by at least three program committee members and 46 papers were selected for presentation and publication. This volume also contains short descriptions of 23 implementations of automated deduction systems. The volume opens with a keynote address by Larry Wos, winner of the first Herbrand Award for Distinguished Contributions to Automated Reasoning.

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 Automated Deduction - CADE-11

Autor Alan Bundy

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1992

Počet stran 800

EAN 9783540556022

ISBN 3540556028

Libristo kód 01565541

Nakladatelství Springer, Berlin

Váha 1224

Rozměry 156 x 234 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

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