Anthropomorphic Proof System for First-Order Logic
Ladda ner
Typ
Examensarbete för masterexamen
Master Thesis
Master Thesis
Program
Publicerad
2010
Författare
Nizamani, Abdul Rahim
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
Beskrivning
Ämne/nyckelord
Informations- och kommunikationsteknik , Informatics, Computer- and Information Science , Information & Communication Technology , Informatik, data- och systemvetenskap