Mathematical Logic in Computer Science (Colloquia Mathematica Societatis Janos Bolyai S.) - Hardcover
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 include:- 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.
Other Popular Editions of the Same Title
Search results for Mathematical Logic in Computer Science (Colloquia Mathematic...
Stock Image
Mathematical Logic in Computer Science. Colloquia Mathematica Societatis Janos Bolyai 26
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 758 pp., hardcover, very good in a very good dust jacket. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1192234