Anthropomorphic Proof System for First-Order Logic

Visa enkel post
dc.contributor.authorNizamani, Abdul Rahim
dc.contributor.departmentChalmers tekniska högskola / Institutionen för tillämpad informationsteknologi (Chalmers)sv
dc.contributor.departmentChalmers University of Technology / Department of Applied Information Technology (Chalmers)en
dc.date.accessioned2019-07-03T12:47:14Z
dc.date.available2019-07-03T12:47:14Z
dc.date.issued2010
dc.identifier.urihttps://hdl.handle.net/20.500.12380/155931
dc.language.isoeng
dc.relation.ispartofseriesReport - IT University of Göteborg, Chalmers University of Technology and the University of Göteborg : 2010:128
dc.setspec.uppsokHumanitiesTheology
dc.subjectInformations- och kommunikationsteknik
dc.subjectInformatics, Computer- and Information Science
dc.subjectInformation & Communication Technology
dc.subjectInformatik, data- och systemvetenskap
dc.titleAnthropomorphic Proof System for First-Order Logic
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
155931.pdf
Storlek:
601.15 KB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner
Samling
Examensarbeten för masterexamen