Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
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č
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Executable Modal and Temporal Logics

IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Executable Modal and Temporal Logics Michael Fisher
Libristo kód: 05274453
Nakladatelství Springer, Berlin, listopad 1994
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda... Celý popis
? points 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

Kernfragen. Psychologie Marcus Weeks / Kniha Pevná
common.buy 289 Kč
Bedeutung der Ladenoeffnungszeiten aus einzel- und gesamtwirtschaftlicher Sicht Jeanne d'Arc Sankari Slodowicz / Kniha Brožovaná
common.buy 874 Kč
Engelkarten, Kartenset Jana Haas / Hra/Hračka Hra
common.buy 438 Kč
Philosophische Bildung Volker Steenblock / Kniha Brožovaná
common.buy 453 Kč
Fils d'emigre Ernest Daudet / Kniha Brožovaná
common.buy 469 Kč
Prince Valiant Hal Foster / Kniha Pevná
common.buy 919 Kč
Wundervolle Wellness- und Wohlfühlmusik für eine herrlich entspannte Traumzeit, Audio-CD Frank Tuppek / Audio Audio CD
common.buy 193 Kč

This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming.This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Executable Modal and Temporal Logics
Autor Michael Fisher, Richard Owens
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1995
Počet stran 188
EAN 9783540589761
ISBN 3540589767
Libristo kód 05274453
Nakladatelství Springer, Berlin
Váha 295
Rozměry 156 x 234 x 10

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
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství
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

Mohlo by vás také zajímat

Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation Gregory R Bowman / Kniha Pevná
common.buy 4 238 Kč
Staying Dry Kathryn L. Burgio / Kniha Brožovaná
common.buy 840 Kč
THE CHARANGON CHORD BIBLE: CFADA STANDAR TOBE A. RICHARDS / Kniha Brožovaná
common.buy 589 Kč
Crestfield can't find my way home: can't find my way home Jack / Kniha Brožovaná
common.buy 281 Kč
2017 Anthology Read Write / Kniha Brožovaná
common.buy 196 Kč
The Coming Prince Sir Robert Anderson / Kniha Brožovaná
common.buy 651 Kč
The Most Influential Rock Stars of the 1960s: The Lives of John Lennon, Paul McCartney, Bob Dylan, Jimi Hendrix, Janis Joplin, and Jim Morrison Charles River Editors / Kniha Brožovaná
common.buy 346 Kč
I Ching: Passages 3. split (he/she) edition King Wen / Kniha Brožovaná
common.buy 154 Kč
Terreldor: The Long Path Home Chris M Hibbard / Kniha Brožovaná
common.buy 292 Kč
Time of Gratitude Gennady Aygi / Kniha Brožovaná
common.buy 410 Kč
Spider-man Vs. The Vulture Stan Lee / Kniha Brožovaná
common.buy 715 Kč
Acoustic Guitar Owner's Manual: The Complete Guide String Letter Publishing / Kniha Brožovaná
common.buy 382 Kč
Tristen's Reading Log Martha Day Zschock / Kniha Pevná
common.buy 358 Kč
Kaspar Hauser Martin Kitchen / Kniha Brožovaná
common.buy 2 646 Kč
Biographical History of the County of Litchfield, Connecticut Payne Kenyon Kilbourne / Kniha Pevná
common.buy 972 Kč
Frantic Woman's Guide To Feeding Family And Friends Mary Jo Rulnick / Kniha Brožovaná
common.buy 483 Kč
Strength-Based Cognitive Behaviour Therapy Approach to Recovery Wong / Kniha Brožovaná
common.buy 1 355 Kč
Not Dead Yet and Other Stories Hadley Moore / Kniha Brožovaná
common.buy 290 Kč
Professional Issues in Clinical Psychology Will Curvis / Kniha Brožovaná
common.buy 1 020 Kč
Top
Gentle and Lowly Dane C. Ortlund / Kniha Pevná
common.buy 334 Kč
English Czech 500 Flashcards with Pictures for Babies: Learning homeschool frequency words flash cards for child toddlers preschool kindergarten and k Julie Brighter / Kniha Brožovaná
common.buy 278 Kč
Welcome to the United States of Anxiety / Kniha Pevná
common.buy 522 Kč
Persian Fables and Fairy Tales Keyvan Moghissi / Kniha Brožovaná
common.buy 279 Kč
Radical Confidence Lisa Bilyeu / Kniha Brožovaná
common.buy 482 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?