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.

Resolution Methods for the Decision Problem

Name: Resolution Methods for the Decision Problem
Brand: Springer, Berlin
SKU: 01565643
Price: 1182 CZK
Availability: InStock
Author: C. Fernmüller
ISBN: 9783540567325

C. Fernmüller

Alexander Leitsch

ammet Tanel

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01565643

Nakladatelství Springer, Berlin, listopad 1992

This volume contains work on the decision problem done in§Kazan (Russia), Tallinn (Estonia), and Vie... Celý popis

Libristo kód: 01565643

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

Filosofia Social e Política para os Perplexos Kizito Michael George

Brožovaná

1 291 Kč

Oldboy, 1 4K UHD-Blu-ray + 1 Blu-ray + 2 Bonus-Blu-ray (4-Disc Limited Collector's Edition im Mediabook) Park Chan-wook

Blu-ray

1 153 Kč

Renovatio Europae David Engels

Brožovaná

471 Kč

Les grands carrés Disney Love stories

Brožovaná

326 Kč

Ästhetik des Widerstands Peter Weiss

Brožovaná

512 Kč

COMENTARIO INTEGRAL A LA ENCICLOPEDIA DE LAS CIENCIAS FILOSÓFICAS DE G.W.F. HEGE RAMON VALLS PLANA

Brožovaná

831 Kč

Zwergenstübchen Backgeheimnisse Elke Schuster

Pevná

194 Kč

Drachenblutlinie Jana Nuler

Brožovaná

430 Kč

Geschichte des Christentums in Grundzügen Bernd Moeller

Brožovaná

680 Kč

Liebe Fanatiker Amos Oz

Brožovaná

476 Kč

Sicherheit in vernetzten Systemen Christian Paulsen

Brožovaná

613 Kč

Cómo montar un negocio online BORJA PASCUAL

Brožovaná

532 Kč

Entwicklungsgeschichte des Kosmos Hermann J. Klein

Brožovaná

1 217 Kč

Ripley Bogle Robert McLiam Wilson

Brožovaná

570 Kč

Ich bin bei dir Sarah Young

Pevná

385 Kč

Prufungsfragen fur die Qualifizierung zum Gebaude-Energieberater. Volker Beckmann

Pevná

915 Kč

This volume contains work on the decision problem done in§Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The§authors met several times to discuss and exchange their§results and finally decided to write this monograph§together. Besides a unified treatment of previously§published results there are many new results first presented§in this volume.§The monograph opens with an introduction and a chapter on§terminology, followed by chapters on:§- Semantic clash resolution as decision procedure,§- Completeness of ordering refinements,§- Semantic tree based resolution variants,§- Deciding the class K by an ordering refinement,§- A resolution based method for building finite models.§A final chapter on applications completes the volume.

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 Resolution Methods for the Decision Problem

Autor C. Fernmüller, Alexander Leitsch, ammet Tanel

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1993

Počet stran 236

EAN 9783540567325

ISBN 3540567321

Libristo kód 01565643

Nakladatelství Springer, Berlin

Váha 290

Rozměry 155 x 233 x 11

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