Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Not currently available

Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings (Paperback, 1994 ed.) Loot Price: R1,520
Discovery Miles 15 200
Repayment Terms: R142 pm x 12*
Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG '93, Vancouver, B.C., Canada,...

Higher Order Logic Theorem Proving and Its Applications - 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings (Paperback, 1994 ed.)

Jeffrey J. Joyce, Carl-Johan H Seger

Series: Lecture Notes in Computer Science, 780

 (sign in to rate)
Loot Price R1,520 Discovery Miles 15 200 | Repayment Terms: R142 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove."

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 780
Release date: April 1994
First published: 1994
Editors: Jeffrey J. Joyce • Carl-Johan H Seger
Dimensions: 235 x 155 x 27mm (L x W x T)
Format: Paperback
Pages: 526
Edition: 1994 ed.
ISBN-13: 978-3-540-57826-0
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Promotions
LSN: 3-540-57826-9
Barcode: 9783540578260

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Agent-Based Modeling and Network Dynamics (Hardcover): Akira Namatame, Shu-Heng Chen
Agent-Based Modeling and Network…
Akira Namatame, Shu-Heng Chen Hardcover R3,014 Discovery Miles 30 140
Digital Protection for Power Systems (Hardcover, 2nd edition): Salman K. Salman, A.T. Johns
Digital Protection for Power Systems
Salman K. Salman, A.T. Johns Hardcover R3,891 Discovery Miles 38 910
Hidden Semi-Markov Models - Theory, Algorithms and Applications (Paperback): Shun-Zheng Yu
Hidden Semi-Markov Models - Theory…
Shun-Zheng Yu Paperback R858 Discovery Miles 8 580
Numerical Time-Dependent Partial Differential Equations for Scientists and Engineers, Volume 213 (Hardcover): Moysey Brio, Gary...
Numerical Time-Dependent Partial…
Moysey Brio, Gary M. Webb, … Hardcover R2,893 Discovery Miles 28 930
Conceptual Spaces: Elaborations and Applications (Hardcover, 1st ed. 2019): Mauri Kaipainen, Frank Zenker, Antti Hautamaki,...
Conceptual Spaces: Elaborations and…
Mauri Kaipainen, Frank Zenker, … Hardcover R3,719 Discovery Miles 37 190
Restricted Congruences in Computing (Hardcover): Khodakhast Bibak
Restricted Congruences in Computing
Khodakhast Bibak Hardcover R1,776 Discovery Miles 17 760
Handbook of Research on Emerging Trends and Applications of Machine Learning (Hardcover, 2 Volumes): Arun Solanki, Sandeep...
Handbook of Research on Emerging Trends…
Arun Solanki, Sandeep Kumar, … Hardcover R11,100 Discovery Miles 111 000
Numerical Methods for Linear Control Systems (Hardcover): Biswa Datta
Numerical Methods for Linear Control…
Biswa Datta Hardcover R2,284 Discovery Miles 22 840
Mathematics and Computing - ICMC 2018, Varanasi, India, January 9-11, Selected Contributions (Hardcover, 1st ed. 2018): Debdas...
Mathematics and Computing - ICMC 2018…
Debdas Ghosh, Debasis Giri, … Hardcover R4,119 R3,093 Discovery Miles 30 930
Essential Linear Algebra with Applications - A Problem-Solving Approach (Hardcover, 2014 ed.): Titu Andreescu
Essential Linear Algebra with…
Titu Andreescu Hardcover R2,914 Discovery Miles 29 140
Modeling and Simulation with Compose and Activate (Hardcover, 1st ed. 2018): Stephen L. Campbell, Ramine Nikoukhah
Modeling and Simulation with Compose and…
Stephen L. Campbell, Ramine Nikoukhah Hardcover R3,746 Discovery Miles 37 460
Handbook of Automated Reasoning, Volume II (Hardcover): Alan J.A. Robinson, Andrei Voronkov
Handbook of Automated Reasoning, Volume…
Alan J.A. Robinson, Andrei Voronkov Hardcover R5,129 Discovery Miles 51 290

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners