Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Executable Modal and Temporal Logics

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

Language EnglishEnglish
Book Paperback
Book Executable Modal and Temporal Logics Michael Fisher
Libristo code: 05274453
Publishers Springer, Berlin, November 1994
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda... Full description
? points 125 b
51.62 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Kernfragen. Psychologie Marcus Weeks / Book Hardback
common.buy 12.72 €
Bedeutung der Ladenoeffnungszeiten aus einzel- und gesamtwirtschaftlicher Sicht Jeanne d'Arc Sankari Slodowicz / Book Paperback
common.buy 38.28 €
Engelkarten, Kartenset Jana Haas / Game/Toy Game
common.buy 19.29 €
Philosophische Bildung Volker Steenblock / Book Paperback
common.buy 18.68 €
Prince Valiant Hal Foster / Book Hardback
common.buy 40.20 €
Fils d'emigre Ernest Daudet / Book Paperback
common.buy 20.50 €
Wundervolle Wellness- und Wohlfühlmusik für eine herrlich entspannte Traumzeit, Audio-CD Frank Tuppek / Audio Audio CD
common.buy 8.48 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Executable Modal and Temporal Logics
Author Michael Fisher, Richard Owens
Language English
Binding Book - Paperback
Date of issue 1995
Number of pages 188
EAN 9783540589761
ISBN 3540589767
Libristo code 05274453
Publishers Springer, Berlin
Weight 295
Dimensions 156 x 234 x 10

Categories

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
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Introduction to Markov State Models and Their Application to Long Timescale Molecular Simulation Gregory R Bowman / Book Hardback
common.buy 184.88 €
Staying Dry Kathryn L. Burgio / Book Paperback
common.buy 36.16 €
THE CHARANGON CHORD BIBLE: CFADA STANDAR TOBE A. RICHARDS / Book Paperback
common.buy 25.35 €
Crestfield can't find my way home: can't find my way home Jack / Book Paperback
common.buy 12.21 €
2017 Anthology Read Write / Book Paperback
common.buy 8.58 €
The Coming Prince Sir Robert Anderson / Book Paperback
common.buy 28.28 €
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 / Book Paperback
common.buy 15.04 €
I Ching: Passages 3. split (he/she) edition King Wen / Book Paperback
common.buy 6.76 €
Terreldor: The Long Path Home Chris M Hibbard / Book Paperback
common.buy 12.72 €
Time of Gratitude Gennady Aygi / Book Paperback
common.buy 16.96 €
Spider-man Vs. The Vulture Stan Lee / Book Paperback
common.buy 31.21 €
Acoustic Guitar Owner's Manual: The Complete Guide String Letter Publishing / Book Paperback
common.buy 16.66 €
Tristen's Reading Log Martha Day Zschock / Book Hardback
common.buy 15.75 €
Kaspar Hauser Martin Kitchen / Book Paperback
common.buy 114.36 €
Frantic Woman's Guide To Feeding Family And Friends Mary Jo Rulnick / Book Paperback
common.buy 21.11 €
Biographical History of the County of Litchfield, Connecticut Payne Kenyon Kilbourne / Book Hardback
common.buy 42.42 €
Creed of a Fascist Revolutionary & Why I Left Mosley A. K. Chesterton / Book Paperback
common.buy 9.89 €
Strength-Based Cognitive Behaviour Therapy Approach to Recovery Wong / Book Paperback
common.buy 58.49 €
Not Dead Yet and Other Stories Hadley Moore / Book Paperback
common.buy 13.02 €
Professional Issues in Clinical Psychology Will Curvis / Book Paperback
common.buy 44.04 €
Top
Gentle and Lowly Dane C. Ortlund / Book Hardback
common.buy 15.75 €
English Czech 500 Flashcards with Pictures for Babies: Learning homeschool frequency words flash cards for child toddlers preschool kindergarten and k Julie Brighter / Book Paperback
common.buy 12.11 €
Welcome to the United States of Anxiety / Book Hardback
common.buy 22.82 €
Persian Fables and Fairy Tales Keyvan Moghissi / Book Paperback
common.buy 12.11 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?