Logical Environments(1st Edition)
Authors:
Gerard Huet ,Gordon Plotkin
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 0521433126, 978-0521433129
Book publisher: Cambridge University Press
Book Price $0 : The Contributors To Logical Environments Cover Four Main Themes: The General Problem Of Representing Formal Systems In Logical Frameworks, Basic Algorithms Of General Use In Proof Assistants, Logical Issues, And Large-scale Experiments With Proof Assistants. This Book Is A Successor To Logical Frameworks(CUP, 1991) And Will Be Of Interest To Any Mathematician Or Computer Scientist Whose Research Interests Lie In The Development Of The Interplay Between Logic And Software Engineering.
Customers also bought these books (16)
Corporate Finance - 7th Canadian Edition
Stephen Ross
ISBN: 007090653X, 978-0070906532, 978-0071339575
$0 $64.74
Fundamentals of Thermodynamics - 6th edition
Richard E. Sonntag
ISBN: 471152323, 978-0471152323
$0 $35.02
Criminal Behavior A Psychological Approach - 10th edition
Curt R. Bartol
ISBN: 132973197, 978-0133140781, 133140784, 978-0132973199
$0 $39.42
Strategic Management of Technological Innovation - 5th edition
Melissa A. Schilling
ISBN: 1259539067, 9781259737817 , 978-1259539060
$0 $14.98
Multi Pack Introduction To Automata Theory Languages And Computation With Introduction To Programming Using Sml And Introduction To Programming Using Sml - 1st Edition
Dr Michael Hansen
ISBN: 0582843081, 978-0582843080
$92.53 $132.19
Artificial Intelligence And Symbolic Computation International Conference Aisc98 Plattsburgh New York Usa September 16 18 1998 Proceedings - 1st Edition
Jacques Calmet
ISBN: 3540649603, 978-3540649601
$0 $44.75
Logical Reasoning With Diagrams - 1st Edition
Gerard Allwein
ISBN: B000WM92QE, 978-0195355864
$58.93 $84.18
Ug And External Systems Language Brain And Computation - 1st Edition
Anna Maria Di Sciullo
ISBN: 1588116239, 978-1588116239
$82.47 $117.81
Advances In International Accounting Volume 17 - 1st Edition
J. Timothy Sale
ISBN: 0762311274, 978-0762311279
$0 $24.85
The Student S Guide To Social Neuroscience - 2nd Edition
Jamie Ward
ISBN: 1138908622, 978-1138908628
$108.4 $154.86
Understanding Basic Statistics - 9th Edition
Charles Henry Brase
ISBN: 0357757351, 978-0357757352
$63.15 $90.21
The Twelve Days Of Christmas In Canada - 1st Edition
Ellen Warwick
ISBN: 1454914319, 978-1454914310
$0 $8.91
Ontologies For Software Engineering And Software Technology - 1st Edition
Coral Calero
ISBN: 3540345175, 978-3540345176
$74.36 $106.23
Dna Computing New Computing Paradigms - 1st Edition
Gheorghe Paun
ISBN: 3540641963, 978-3540641964
$0 $12.97Popular Among Students (12)
Introduction To The Representation Theory Of Algebras - 2015th Edition
Michael Barot
ISBN: 3319114743, 978-3319114743
$0 $44.99
Foundations Of Mathematics Volume 1 Sets And Number Systems - 1st Edition
Dr Angela G Shirley
ISBN: 1537028618, 978-1537028613
$0 $15.99
Linear Algebra - 4th International Edition
Stephen H Friedberg
ISBN: 1292026502, 978-1292026503
$68.23 $97.47
The Joy Of Learning Python For Absolute Beginners S - 1st Edition
Rahul Saxena
ISBN: 979-8707747199
$0 $8.26
Transformation 101 Your Guide To Empowerment In Just 3 Weeks - 1st Edition
Alicia Randolph Lucchesi
ISBN: 1729104185, 978-1729104187
$0 $7.21
Parallel Execution Of Logic Programs Iclp 91 Pre Conference Workshop Paris June 24 1991 Proceedings - 1991st Edition
Anthony Beaumont
ISBN: 3540550380, 978-3540550389
$0 $49.93
Algebraic Foundations In Computer Science Essays Dedicated To Symeon Bozapalidis On The Occasion Of His Retirement - 2011 Edition
Werner Kuich
ISBN: 3642248969, 978-3642248962
$0 $51.36
One Hundred Prisoners And A Light Bulb - 1st Edition
Hans Van Ditmarsch
ISBN: 331916693X, 978-3319166933
$0 $19.99
Phenomenological And Mathematical Modelling Of Structural Instabilities - 1st Edition
Marcello Pignataro
ISBN: 3211252924, 978-3211252925
$67.89 $96.99
Information Technology And The Computer Network - 1st Edition
K. G. Beauchamp
ISBN: 3642870910, 978-3642870910
$0 $77.92