Artículos relacionados a Logic for Computer Scientists: v. 8 (Progress in Computer...

Logic for Computer Scientists: v. 8 (Progress in Computer Science S.) - Tapa dura

Schoning, Uwe

 
9783764334536: Logic for Computer Scientists: v. 8 (Progress in Computer Science S.)

Sinopsis

This text introduces the notions and methods of formal logic from a computer-science standpoint, covering propositional logic, predicate logic and foundations of logic programming.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This text introduces the notions and methods of formal logic from a computer-science standpoint, covering propositional logic, predicate logic and foundations of logic programming.

"Sobre este título" puede pertenecer a otra edición de este libro.