See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Propositional logic programming and type theories

Tyugu, E. (1989). Propositional logic programming and type theories. Scandinavian Conference on Artificial Intelligence - 89. Ed. Jaakkola,H.; Linnainmaa,S. Amsterdam: IOS Press, 863−871. (Frontiers in artificial intelligence and applications).
publitseeritud konverentsiettekanne
Tyugu, E.
  • Inglise
Scandinavian Conference on Artificial Intelligence - 89
Jaakkola,H.; Linnainmaa,S.
Amsterdam
IOS Press
90-5199-017-0
Frontiers in artificial intelligence and applications
1989
863871
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

Lisainfo

ISI Proceedings (ISIP:A1989BQ03G00071); CompuScience