Cover may not depict edition offered for sale
available COPIES
About this title: 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 Al. 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 ...
read more
Note: This is a general synopsis. Each listing is described below.
Your search: Books » Executable Modal and Temporal Logics
(24 available copies)
Page 1 of 1
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Ships from
CA,
USA
Binding: Paperback
Publisher: Springer
Date Published: 1995
ISBN-13: 9783540589761
ISBN: 3540589767
Description: Very Good. Ex-Library Copy. Very Clean Copy-Over 500, 000 Internet Orders Filled. read more
Executable Modal and Temporal Logics: Ij
by
Michael Fisherrichard Owens
Ships from
MO,
USA
Binding: Paperback
ISBN-13: 9783540589761
ISBN: 3540589767
Description: Very good Satisfaction Guaranteed. read more
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 Proceedings
by
Fisher, Michael
Ships from
CA,
USA
Binding: Softcover
Publisher: Springer, Berlin
Date Published: 1995
ISBN-13: 9783540589761
ISBN: 3540589767
Description: Book Very good ex-library (Caltech) softcover. Binding tight. Text very good. Usual library markings. read more
condition:
Book:
seller information:
Name:
Lawrence's Books ,
CA,
USA
Reliability:
Executable Modal and Temporal Logics (Lecture Notes in Artificial Intelligence)
by
Michael Fisher, Manchester Metropolitan University, Manchester, Uk; Richard Owen
Ships from
TX,
USA
Binding: Softcover
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New in new dust jacket. New Books Only. US Edition. read more
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Ships from
TX,
USA
Binding: PAPERBACK
Publisher: Springer
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New. 3540589767 Brand New US Edition. No P.O. Box please. read more
condition:
Book:
Available qty:
3
seller information:
Name:
TextBookMart ,
TX,
USA
Reliability:
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings
by
Fisher, Michael (Editor), and Owens, Richard (Editor)
Ships from
NV,
USA
Binding: Trade paperback
Publisher: Springer
Date Published: 1995
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New. Trade paperback (US). Glued binding. 180 p. Contains: Illustrations. Lecture Notes in Computer Science, 897. read more
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by
Editor-Michael Fisher; Editor-Richard Owens
Ships from
TX,
USA
Binding: Paperback
Publisher: Springer
Date Published: 1995-03-17
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New. Brand New. Never Used. read more
condition:
Book:
Available qty:
3
seller information:
Name:
ExtremelyReliable ,
TX,
USA
Reliability:
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Ships from
CO,
USA
Edition: 1st edition
Binding: Paperback
Publisher: Springer
Date Published: 3/17/1995
ISBN-13: 9783540589761
ISBN: 3540589767
Description: Very Good. 3540589767 Very Good ex-library Hardcover bound Softcover preserving the original pictorial corver's, usual library markings; cover's bright and sharp; binding tight; pages crisp, clean, and free of marks. read more
condition:
Book:
seller information:
Name:
middlewheel ,
CO,
USA
Reliability:
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings
by
Fisher, Michael; Owens, Richard (Eds. )
Ships from
MA,
USA
Binding: Paperback
Publisher: Springer-Verlag, New York
Date Published: 1995
ISBN-13: 9783540589761
ISBN: 3540589767
Description: Very Good/Wraps. Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 897 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 ... read more
condition:
Book:
seller information:
Name:
GeorgeCrossBooks ,
MA,
USA
Reliability:
Executable Modal and Temporal Logics
by
Fisher, Michael (Editor), and Owens, Richard (Editor)
Ships from
NJ,
USA
Edition: Annotated.
Binding: Trade paperback
Publisher: Springer
Date Published: 2007
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New. Trade paperback (US). Glued binding. 196 p. Contains: Illustrations. Lecture Notes in Computer Science, 897. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
Shams ,
NJ,
USA
Reliability:
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Ships from
NJ,
USA
Binding: PAPERBACK
Publisher: Springer
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New. 3540589767. read more
condition:
Book:
Available qty:
3
seller information:
Name:
BookXpressNJ ,
NJ,
USA
Reliability:
Executable Modal and Temporal Logics
by
Michael Fisher, Manchester Metropolitan University, Manchester, Uk; Richard Owen
Ships from
NY,
USA
Binding: Softcover
Publisher: SPRINGER
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New in new dust jacket. New. US edition. Great savings. Excellent Customer service. All query reply within 24 Hour. read more
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Ships from
TX,
USA
Binding: Softcover
Publisher: Springer
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New. 3540589767 Prompt customer service, FedEx tracking no. Packages deliver in 4-6 business days. traceable from next day. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
Bookland ,
TX,
USA
Reliability:
Executable Modal and Temporal Logics
by
Michael Fisher, Manchester Metropolitan University, Manchester, Uk; Richard Owen
Ships from
INDIA
Binding: Softcover
Publisher: SPRINGER
Date Published: 1995
ISBN-13: 9783540589761
ISBN: 3540589767
Description: Brand New. Brand New original book. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
booksNbooks ,
INDIA
Reliability:
Executable Modal and Temporal Logics (Lecture Notes in Artificial Intelligence)
by
Michael Fisher, Richard Owens
Ships from
NJ,
USA
Binding: Softcover
ISBN-13: 9783540589761
ISBN: 3540589767
Description: Like New. NO EXPEDITED SHIPPING! May have remainder marks. read more
condition:
Book:
Available qty:
3
seller information:
Name:
A1Books ,
NJ,
USA
Reliability:
Executable Modal and Temporal Logics
by
Michael Fisher Richard Owens,
Ships from
VIC,
AUSTRALIA
Edition: N/A
Binding: Paperback
Publisher: Springer-Verlag
Date Published: 1995
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New in New jacket. read more
condition:
Book:
Available qty:
3
seller information:
Name:
Knowledgetreebooks ,
VIC,
AUSTRALIA
Reliability:
Executable Modal and Temporal Logics
by
Fisher, Michael And Owens, Richard
Ships from
IL,
USA
Binding: Paperback
Publisher: SPRINGER VERLAG GMBH
Date Published: 2007
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New. 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 prove... read more
condition:
Book:
Available qty:
>10
seller information:
Name:
Paperbackshop ,
IL,
USA
Reliability:
Executable Modal and Temporal Logics
by
Fisher, Michael
Ships from
IL,
USA
Binding: Paperback
Publisher: Springer
Date Published: 2007
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
Paperbackshop ,
IL,
USA
Reliability:
Executable Modal and Temporal Logics
by
Michael Fisher Richard Owens,
Ships from
INDIA
Edition: N/A
Binding: Paperback
Publisher: Springer-Verlag
Date Published: 1995
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New in New jacket. read more
condition:
Book:
Available qty:
3
seller information:
Name:
Delhi Book Store ,
INDIA
Reliability:
Executable Modal and Temporal Logics
by
Michael Fisher; Richard Owens
Ships from
NJ,
USA
Binding: Softcover
Publisher: SPVB
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New. PLEASE NOTE: All books are promptly imported from the UK using DHL or Royal Mail international mail WITH TRACKING NUMBER. Print on demand title. D elivery is typically 5-10 working days. Please do not select expedited shipping. Professional and reliable bookseller (est.1987). read more
condition:
Book:
Available qty:
>10
seller information:
Name:
Books Express USA ,
NJ,
USA
Reliability:
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Ships from
NY,
USA
Binding: Softcover
ISBN-13: 9783540589761
ISBN: 3540589767
Description: Very good. Clean, tight. read more
condition:
Book:
seller information:
Name:
City Footprints ,
NY,
USA
Reliability:
Executable Modal and Temporal Logics (Lecture Notes in Artificial Intelligence)
by
Michael Fisher, Richard Owens
Ships from
NJ,
USA
Binding: Softcover
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New. Brand new book. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
A1Books ,
NJ,
USA
Reliability:
Executable Modal and Temporal Logics: Ijcai *93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science)
by
Fisher, Michael
Ships from
TX,
USA
Binding: Paperback
Publisher: Springer
Date Published: 3-17-95
ISBN-13: 9783540589761
ISBN: 3540589767
Description: Very good. No Highlights or Markup, No pages are missing. Binding Intact. Slight shelf wear.. read more
condition:
Book:
seller information:
Name:
VERIZON BOOKS ,
TX,
USA
Reliability:
Executable Modal and Temporal Logics
by
Michael Fisher; Richard Owens
Ships from
UNITED KINGDOM
Binding: Softcover
Publisher: SPVB
ISBN-13: 9783540589761
ISBN: 3540589767
Description: New. PLEASE NOTE: All books are promptly shipped from our UK warehouse using Royal Mail or DHL. International Priority mail for non-UK deliveries. Print on demand title. Delivery is typically 3-5 working days for UK delivery. Heavier or more expensive books are shipped with a TRACKING NUMBER. Professional and reliable bookseller (est.1987). read more
condition:
Book:
Available qty:
>10
seller information:
Name:
Books Express ,
UNITED KINGDOM
Reliability:
Be the first to write a review
& you could win a FREE gift!
Share this book
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.
Advances in Temporal Logic by
Dov Gabbay, Michael Fisher (Editor), Howard Barringer (Editor)
see all $155.22!
new only $155.22!
Foundations and Applications of Multi-Agent Systems by
Mark D'Inverno (Editor), Michael Luck (Editor), Michael Fisher (Editor)
see all $21.83!
new only $48.62!
Foundations and Applications of Multi-Agent Systems: Ukmas Workshop 1996-2000, Selected Papers by
Mark D'Inverno (Editor), Michael Luck (Editor), Michael Fisher (Editor)
see all $87.87!
new only $87.87!
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993: Proceedings by
Michael Fisher
see all $69.17!
new only $69.17!
Apple II/IIe/IIc Expansion Guide by
Gary Phillips, Michael Fisher
see all $31.95!
