Goal-Driven Reasoning in First-Order Logic
Artikel i vetenskaplig tidskrift, 2006
Författare
Claes Strannegård
Chalmers, Tillämpad informationsteknologi
Philosophical Communications, Department of Philosophy, Gothenburg University
35
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap