Anthropomorphic Proof System for First-Order Logic
Loading...
Download
Date
Authors
Type
Examensarbete för masterexamen
Master Thesis
Master Thesis
Programme
Model builders
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Informations- och kommunikationsteknik, Informatics, Computer- and Information Science, Information & Communication Technology, Informatik, data- och systemvetenskap