Explore Books on
logique informatique

Computation Engineering:

By Ganesh Gopalakrishnan

Logic Programming

By Philippe Codognet

Propositional logic

By H. Kleine Büning,Hans Kleine Büning,Theodor Lettmann

Logic for learning

By Lloyd, J. W.

Computer science logic

By Workshop on Computer Science Logic (19th 2005 Oxford, England)

Advances in contemporary logic and computer science

By Brazilian Conference on Mathematical Logic (11th 1996 Salvador, Brazil)

Inconsistency robustness

By Carl Hewitt,John Hayden Woods,Jane Spurr

Temporal Logic Vol. 2

By Dov M. Gabbay,Mark A. Reynolds,Marcelo Finger