Items related to Mathematical Logic in Computer Science

Mathematical Logic in Computer Science - Hardcover

T. Gergely

 
9789638021465: Mathematical Logic in Computer Science
Hardcover
ISBN 10: 9638021462 ISBN 13: 9789638021465
Publisher: North-Holland Pub Co, 1981

This specific ISBN edition is currently not available.

Synopsis

This volume contains 31 papers prepared for the Colloquium on Mathematical Logic in Programming held in Salgótarján, Hungary. Main topics of the Colloquium Model theoretical, universal algebra and category theoretical approaches to program semantics- Logical and model theoretical approaches to program-verification, data representation and problem specification- Logical and model theoretical approaches to theorem proving, automatic programming and automatic problem solving- Very high level, logical based programming languages.

"synopsis" may belong to another edition of this title.

Publisher
North-Holland Pub Co
Publication date
1981
Language
English
ISBN 10 
9638021462
ISBN 13 
9789638021465
Binding
Hardcover

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9780444854407: Mathematical Logic in Computer Science (Colloquia Mathematica Societatis Janos Bolyai)

Featured Edition

ISBN 10:  0444854401 ISBN 13:  9780444854407
Publisher: North Holland, 1981
Hardcover