Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Executable Modal and Temporal Logics

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Executable Modal and Temporal Logics Michael Fisher
Libristo kod: 05274453
Nakladnici Springer, Berlin, studeni 1994
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda... Cijeli opis
? points 125 b
51.59 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Kernfragen. Psychologie Marcus Weeks / Knjiga Tvrdi uvez
common.buy 12.71 €
Bedeutung der Ladenoeffnungszeiten aus einzel- und gesamtwirtschaftlicher Sicht Jeanne d'Arc Sankari Slodowicz / Knjiga Meki uvez
common.buy 38.26 €
Engelkarten, Kartenset Jana Haas / Igra/Igračka Igra
common.buy 19.28 €
Philosophische Bildung Volker Steenblock / Knjiga Meki uvez
common.buy 17.66 €
Fils d'emigre Ernest Daudet / Knjiga Meki uvez
common.buy 20.49 €
Prince Valiant Hal Foster / Knjiga Tvrdi uvez
common.buy 40.18 €
Wundervolle Wellness- und Wohlfühlmusik für eine herrlich entspannte Traumzeit, Audio-CD Frank Tuppek / Audio Audio CD
common.buy 8.47 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Executable Modal and Temporal Logics
Autor Michael Fisher, Richard Owens
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1995
Broj stranica 188
EAN 9783540589761
ISBN 3540589767
Libristo kod 05274453
Nakladnici Springer, Berlin
Težina 295
Dimenzije 156 x 234 x 10

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer programming / software engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation Gregory R Bowman / Knjiga Tvrdi uvez
common.buy 184.76 €
Staying Dry Kathryn L. Burgio / Knjiga Meki uvez
common.buy 36.14 €
THE CHARANGON CHORD BIBLE: CFADA STANDAR TOBE A. RICHARDS / Knjiga Meki uvez
common.buy 25.33 €
Crestfield can't find my way home: can't find my way home Jack / Knjiga Meki uvez
common.buy 12.21 €
2017 Anthology Read Write / Knjiga Meki uvez
common.buy 8.57 €
The Coming Prince Sir Robert Anderson / Knjiga Meki uvez
common.buy 28.26 €
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 / Knjiga Meki uvez
common.buy 15.03 €
I Ching: Passages 3. split (he/she) edition King Wen / Knjiga Meki uvez
common.buy 6.75 €
Terreldor: The Long Path Home Chris M Hibbard / Knjiga Meki uvez
common.buy 12.71 €
Time of Gratitude Gennady Aygi / Knjiga Meki uvez
common.buy 16.04 €
Spider-man Vs. The Vulture Stan Lee / Knjiga Meki uvez
common.buy 31.19 €
Acoustic Guitar Owner's Manual: The Complete Guide String Letter Publishing / Knjiga Meki uvez
common.buy 16.65 €
Tristen's Reading Log Martha Day Zschock / Knjiga Tvrdi uvez
common.buy 15.74 €
Kaspar Hauser Martin Kitchen / Knjiga Meki uvez
common.buy 109.14 €
Biographical History of the County of Litchfield, Connecticut Payne Kenyon Kilbourne / Knjiga Tvrdi uvez
common.buy 42.40 €
Frantic Woman's Guide To Feeding Family And Friends Mary Jo Rulnick / Knjiga Meki uvez
common.buy 21.09 €
Strength-Based Cognitive Behaviour Therapy Approach to Recovery Wong / Knjiga Meki uvez
common.buy 58.45 €
Not Dead Yet and Other Stories Hadley Moore / Knjiga Meki uvez
common.buy 13.01 €
Professional Issues in Clinical Psychology Will Curvis / Knjiga Meki uvez
common.buy 44.01 €
Top
Gentle and Lowly Dane C. Ortlund / Knjiga Tvrdi uvez
common.buy 15.74 €
English Czech 500 Flashcards with Pictures for Babies: Learning homeschool frequency words flash cards for child toddlers preschool kindergarten and k Julie Brighter / Knjiga Meki uvez
common.buy 12.11 €
Welcome to the United States of Anxiety / Knjiga Tvrdi uvez
common.buy 22.81 €
Persian Fables and Fairy Tales Keyvan Moghissi / Knjiga Meki uvez
common.buy 12.11 €
Radical Confidence Lisa Bilyeu / Knjiga Meki uvez
common.buy 19.88 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?