pealkiri
Linear logic programming for AI planning
Master thesis
autor
Küngas, P.
märksõnad
linear logic
deductive AI planning
logic programming languages
theorem proving
Petri nets
abstraction
kirjeldus
Research Report CS 106/02
ilmumisaasta
2002
identifikaator
http://digi.lib.ttu.ee/i/?11975
keel
eng
õigused
http://rightsstatements.org/vocab/InC-EDU/1.0/
asutus
Eesti Teaduste Akadeemia Küberneetika Instituut
Institute of Cybernetics of the Estonian Academy of Sciences
  • Juurdepääsu piirang: TalTechi arvutivõrgu kasutajale.
    pdf 1,04 MB