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