TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 

Vaadatud 11 kord(a)
Alla laetud 0 kord(a)
juurdepääs failidele puudub
juurdepääsu piirang:
  • lubatud TalTechi arvutivõrgu kasutajale
  • Kaugligipääs VPN ühenduse https://toru.ttu.ee kaudu.

    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