Articoli correlati a Logic for Computer Scientists: v. 8

Logic for Computer Scientists: v. 8 - Rilegato

Schoning, Uwe

 
9783764334536: Logic for Computer Scientists: v. 8

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.