- Tillämpad IT
- Kontakt
- Personal
- Claes Strannegård
Claes Strannegård
Intervju med Claes Strannegård om nystartade kursen "Innovation and Entrepreneurship"
Publikationer
2009
- Claes Strannegård; Simon Ulfsbäcker; David Hedqvist; Tommy Gärling (2009).
Reasoning Processes in Propositional Logic , GUP 98936
2007
- Claes Strannegård (2007).
Proving First-Order Sentences with Bounded Cognitive Resources , GUP 98938
- Claes Strannegård; Olof Torgersson; Bengt Persson (2007).
Synaps – a Modular Online Personal Digital Assistant System for Hospitals , GUP 68301
2006
- Claes Strannegård (2006).
A Proof System for Modeling Reasoning Processes in Propositional Logic , GUP 98934
- Claes Strannegård (2006).
Goal-Driven Reasoning in First-Order Logic , GUP 98941
2005
- Claes Strannegård (2005).
Anthropomorphic Artificial Intelligence , GUP 98937
1999
- Claes Strannegård (1999).
Interpretability over Peano Arithmetic , GUP 98940
Kontaktinformation
Claes Strannegård
Institutionen för tillämpad IT, 412 96 Göteborg
Besöksadress:
Forskningsgången 6
Telefon:
031-772 6036
Fax:
031-772 4899