Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Executable Modal and Temporal Logics

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

Język AngielskiAngielski
Książka Miękka
Książka Executable Modal and Temporal Logics Michael Fisher
Kod Libristo: 05274453
Wydawnictwo Springer, Berlin, listopad 1994
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda... Cały opis
? points 125 b
218.80 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Kernfragen. Psychologie Marcus Weeks / Książka Twarda
common.buy 53.94 zł
Bedeutung der Ladenoeffnungszeiten aus einzel- und gesamtwirtschaftlicher Sicht Jeanne d'Arc Sankari Slodowicz / Książka Miękka
common.buy 162.44 zł
Engelkarten, Kartenset Jana Haas / Gra/Zabawka Gra
common.buy 81.72 zł
Philosophische Bildung Volker Steenblock / Książka Miękka
common.buy 79.31 zł
Fils d'emigre Ernest Daudet / Książka Miękka
common.buy 87.13 zł
Prince Valiant Hal Foster / Książka Twarda
common.buy 170.27 zł
Wundervolle Wellness- und Wohlfühlmusik für eine herrlich entspannte Traumzeit, Audio-CD Frank Tuppek / Audio CD Audio
common.buy 36.09 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Executable Modal and Temporal Logics
Autor Michael Fisher, Richard Owens
Język Angielski
Oprawa Książka - Miękka
Data wydania 1995
Liczba stron 188
EAN 9783540589761
ISBN 3540589767
Kod Libristo 05274453
Wydawnictwo Springer, Berlin
Waga 295
Wymiary 156 x 234 x 10

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation Gregory R Bowman / Książka Twarda
common.buy 784.18 zł
Staying Dry Kathryn L. Burgio / Książka Miękka
common.buy 153.52 zł
THE CHARANGON CHORD BIBLE: CFADA STANDAR TOBE A. RICHARDS / Książka Miękka
common.buy 107.59 zł
Crestfield can't find my way home: can't find my way home Jack / Książka Miękka
common.buy 51.83 zł
2017 Anthology Read Write / Książka Miękka
common.buy 36.19 zł
The Coming Prince Sir Robert Anderson / Książka Miękka
common.buy 120.02 zł
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 / Książka Miękka
common.buy 63.87 zł
I Ching: Passages 3. split (he/she) edition King Wen / Książka Miękka
common.buy 28.57 zł
Terreldor: The Long Path Home Chris M Hibbard / Książka Miękka
common.buy 53.94 zł
Time of Gratitude Gennady Aygi / Książka Miękka
common.buy 71.79 zł
Spider-man Vs. The Vulture Stan Lee / Książka Miękka
common.buy 132.46 zł
Acoustic Guitar Owner's Manual: The Complete Guide String Letter Publishing / Książka Miękka
common.buy 70.89 zł
Tristen's Reading Log Martha Day Zschock / Książka Twarda
common.buy 66.88 zł
Kaspar Hauser Martin Kitchen / Książka Miękka
common.buy 485.04 zł
Biographical History of the County of Litchfield, Connecticut Payne Kenyon Kilbourne / Książka Twarda
common.buy 180.09 zł
Frantic Woman's Guide To Feeding Family And Friends Mary Jo Rulnick / Książka Miękka
common.buy 89.64 zł
Strength-Based Cognitive Behaviour Therapy Approach to Recovery Wong / Książka Miękka
common.buy 248.18 zł
Not Dead Yet and Other Stories Hadley Moore / Książka Miękka
common.buy 55.14 zł
Professional Issues in Clinical Psychology Will Curvis / Książka Miękka
common.buy 186.71 zł
TOP
Gentle and Lowly Dane C. Ortlund / Książka Twarda
common.buy 66.88 zł
English Czech 500 Flashcards with Pictures for Babies: Learning homeschool frequency words flash cards for child toddlers preschool kindergarten and k Julie Brighter / Książka Miękka
common.buy 51.43 zł
Welcome to the United States of Anxiety / Książka Twarda
common.buy 96.76 zł
Persian Fables and Fairy Tales Keyvan Moghissi / Książka Miękka
common.buy 51.43 zł
Radical Confidence Lisa Bilyeu / Książka Miękka
common.buy 84.33 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?