Doprava zdarma se Zásilkovnou nad 1 499 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods
Brand: Springer, Berlin
SKU: 05274694
Price: 1540 CZK
Availability: InStock

Didier Galmiche

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274694

Nakladatelství Springer, Berlin, listopadu 1996

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux... Celý popis

Libristo kód: 05274694

154 b

1 540 Kč včetně DPH

Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Atlas of Knee Arthroscopy Radu Prejbeanu

/ Pevná

5 584 Kč

Book of Meissen Robert E. Rontgen

/ Pevná

2 311 Kč

Thinking Outside the Box William G. O'Callaghan

/ Brožovaná

1 464 Kč

Boehmischen Landtagsverhandlungen und Landtagsbeschlusse vom Jahre 1526 an bis auf die Neuzeit Ohne Autor

/ Brožovaná

2 918 Kč

Primordial Emotions Derek Denton

/ Pevná

3 704 Kč

Changing Our Minds Susan H. Aiken

/ Brožovaná

1 101 Kč

Collected Poems Donald Davie

/ Brožovaná

564 Kč

Until Darwin, Science, Human Variety and the Origins of Race B. Ricardo Brown

/ Pevná

5 308 Kč

Alternatives to the Hospital for Acute Psychiatric Treatment Richard Warner

/ Pevná

881 Kč

Year Book of Ophthalmology 2013 Christopher J. Rapuano

/ Pevná

3 652 Kč

Yeats Yug Chaudhry

/ Brožovaná

1 010 Kč

Beyond Hollywood's Grasp Harry Waldman

/ Pevná

2 808 Kč

Animal Reproduction Lucas T. Dahnof

/ Pevná

3 454 Kč

Kolbenpumpen Einschliesslich Der Flugel- Und Rotationspumpen Heinrich Berg

/ Brožovaná

1 403 Kč

Delicious Probiotic Drinks Julia Mueller

/ Pevná

359 Kč

Ethik Und Protest Gerhard Schmidtchen

/ Brožovaná

1 676 Kč

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

Informace o knize

Plný název Automated Reasoning with Analytic Tableaux and Related Methods

Autor Didier Galmiche

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1997

Počet stran 380

EAN 9783540629207

ISBN 3540629203

Libristo kód 05274694

Nakladatelství Springer, Berlin

Váha 510

Rozměry 156 x 234 x 20

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 > Umělá inteligence > Expertní systémy/systémy založené na znalostech

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

Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Doručení

Nákupní rádce