2010 - Volume 31

Martin Schmidt (2010)
Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection

Details
Typ: 
Bachelor Thesis
Areas: 
Artificial Intelligence
Citation: 

@BOOK{
AUTHOR = {Martin Schmidt},
editor = {K\"uhnberger, K.-U. and K\"onig, P. and Walter, S.},
TITLE = {Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection},
PUBLISHER = {Institute of Cognitive Science},
YEAR = {2010},
volume = {31-2010},
series = {Publications of the Institute of Cognitive Science},
address = {Osnabr\"uck},
isbn = {1610-5389},
}

AnhangGröße
31-2010.pdf726.66 KB