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