Anthropomorphic Proof System for First-Order Logic

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/155931
Download file(s):
File Description SizeFormat 
155931.pdfFulltext601.15 kBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: Anthropomorphic Proof System for First-Order Logic
Authors: Nizamani, Abdul Rahim
Keywords: Informations- och kommunikationsteknik;Informatics, Computer- and Information Science;Information & Communication Technology;Informatik, data- och systemvetenskap
Issue Date: 2010
Publisher: Chalmers tekniska högskola / Institutionen för tillämpad informationsteknologi (Chalmers)
Chalmers University of Technology / Department of Applied Information Technology (Chalmers)
Series/Report no.: Report - IT University of Göteborg, Chalmers University of Technology and the University of Göteborg : 2010:128
URI: https://hdl.handle.net/20.500.12380/155931
Collection:Examensarbeten för masterexamen // Master Theses



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.