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.

Altre edizioni note dello stesso titolo

9780817649210: Logic for Computer Scientists

Edizione in evidenza

ISBN 10:  0817649212 ISBN 13:  9780817649210
Casa editrice: Birkhäuser, 2013
Brossura