The Logical Basis for Computer Programming Volume 2: Deductive Systems /

Bibliographic Details
Main Author:	Manna, Zohar (autor)
Other Authors:	Waldinger, Richard (autor) (autor)
Format:	Book
Language:	English
Subjects:	Ingeniería Computacional Lógica Matemática

Similar Items: The Logical Basis for Computer Programming Volume 2: Deductive Systems /

Quick Look
The Logical Basis for Computer Programming: Volume 1: Deductive Reasoning /
Quick Look
The Deductive foundations of computer programming /
Quick Look
Mathematical Theory of Computation /
Quick Look
Coding and information theory / /
Quick Look
Foundations of Logic Programming /
Quick Look
A programming approach to computability /
Quick Look
Logic for computer science : foundations of automatic theorem proving /
Quick Look
Linear and Integer Programming : Theory and Practice /
Quick Look
Sets, Logic and Maths for Computing /
Quick Look
Logic for applications /
Quick Look
Business Optimisation Using Mathematical Programming /
Quick Look
Mathematical Programming : An Introduction to Optmimization /
Quick Look
Deontic Logic and Normative Systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : Proceedings /
Quick Look
A First Course in Fuzzy Logic /
Quick Look
Digital computer programming /
Quick Look
Business Optimization Using Mathematical Programming : An Introduction with Case Studies and Solutions in Various Alegraic Modeling Languages /
Quick Look
Classical and Fuzzy Concepts in Mathematical Logic and Applications /
Quick Look
Genetic Algoritms and Fuzzy Multiobjective Optimization /
Quick Look
Inductive Logic Programming : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28–30, 2013 : Revised Selected Papers /
Quick Look
Symbolic Logic and Mechanical Theorem Proving /
Quick Look
Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : Proceedings /
Quick Look
Graphical and Mechanical Computation /
Quick Look
An Introduction to Fuzzy Logic and Fuzzy Sets /
Quick Look
Ggplot2 : Elegant Graphics for Data Analysis /