Executable Modal And Temporal Logics Ijcai 93 Workshop Chambery France August 28 1993 Proceedings(1st Edition)
Authors:
Michael Fisher ,Richard Owens
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3540589767, 978-3540589761
Book publisher: Springer
Book Price $0 : 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.
Customers also bought these books
Financial Management Theory And Practice - 12th Edition
Eugene F. Brigham And Michael C. Ehrhardt
ISBN: 978-0030243998, 30243998, 324422695, 978-0324422696
$0 $11.00
Financial management theory and practice - 13th edition
Eugene F. Brigham and Michael C. Ehrhardt
ISBN: 1439078106, 111197375X, 9781439078105, 9781111973759, 978-1439078099
$0 $24.04
Workshop Statistics Discovery With Data - 4th Edition
Allan J Rossman
ISBN: 1118213424, 9781118213421
$75.24 $107.49
Auditory Temporal Processing And Its Disorders - 1st Edition
Jos J Eggermont
ISBN: 0191029181, 9780191029189
$81.19 $115.99
Biometrics And Kansei Engineering - 1st Edition
Khalid Saeed
ISBN: 146145607X, 978-1461456070
$0 $54.99
Practical Graph Analytics With Apache Giraph - 1st Edition
Roman Shaposhnik
ISBN: 1484212525, 978-1484212523
$0 $35.99
Computer Vision In Control Systems 3 Aerial And Satellite Image Processing - 1st Edition
Margarita N Favorskaya
ISBN: 331967515X, 978-3319675152
$76.99 $109.99
Image Analysis And Processing Iciap 2011 16th International Conference Ravenna Italy September 14 16 2011 Proceedings Part I - 1st Edition
Giuseppe Maino
ISBN: 3642240844, 978-3642240843
$0 $54.99
Agents And Peer To Peer Computing First International Workshop Ap2pc 2002 Bologna Italy July 2002 Revised And Invited Papers - 1st Edition
Gianluca Moro
ISBN: 3540405380, 978-3540405382
$0 $17.58
Research Methods In Business Studies - 4th Edition
Pervez Ghauri
ISBN: 0273712047, 9780273712046
$0 $31.07
A Primer Of Oilwell Service Workover And Completion - 1st Edition
Kate Van Dyke
ISBN: 0886981751, 978-0886981754
$0 $35.00
A History Of The Modern Chinese Army - 1st Edition
Xiaobing Li
ISBN: 0813192404, 978-0813192406
$0 $27.95
A History Of The Modern Chinese Army - 1st Edition
Xiaobing Li
ISBN: 0813192404, 978-0813192406
$0 $27.95
American Military History Volume 1 The United States Army And The Forging Of A Nation 1775 1917 - 1st Edition
Army Center Of Military History
ISBN: 1944961402, 978-1944961404
$57.03 $81.47Popular Among Students
Brand Plan Rx The Marketer S Guide To Building A Thriving Health And Wellness Brand - 1st Edition
Markus Saba
ISBN: 1774581035, 978-1774581032
$0 $34.95
R For Economic Research Essential Tools For Modern Economic Analysis - 1st Edition
J Renato Leripio
ISBN: B0CLN4G1MH, 979-8864232286
$0 $35.99
What Shall We Do With It Meaning The Surplus Taxation And Revenue Discussed - 1st Edition
Grover Cleveland
ISBN: 1165752247, 978-1165752249
$0 $29.95
Automotive Software Architectures An Introduction - 2nd Edition
Miroslaw Staron
ISBN: 3030659410, 978-3030659417
$0 $57.59
Map Framework A Formal Model Of Maps As A Fundamental Data Type In Information Systems - 1st Edition
Mark Mckenney
ISBN: 3319467646, 978-3319467641
$76.45 $109.22
Strategien Zur On Line Bahnplanung Bei Robotern Mit 3d Konturfolgesensoren - 1st Edition
Wilhelm Trunzer
ISBN: 354060961X, 978-3540609612
$0 $67.00
Appetite Interrupted The Role Of Predators In Shaping The Behavioral Ecology And Physiology Of Satiety - 1st Edition
James A Carr Phd
ISBN: 0443292183, 978-0443292187
$113.4 $162.00
Using Your Brain For A Change Neuro Linguistic Programming - 1st Edition
Richard Bandler
ISBN: 0911226273, 978-0911226270
$60.87 $86.95
Comentario Exegatico Al Texto Griego Del N T 1 Y 2 Timoteo Tito Y Filema N - 1st Edition
Samuel Pa C Rez Millos
ISBN: 8482679678, 978-8482679679
$0 $19.99