Logic Interpreter To Handle Time And Negation In Logic Data Bases.

AuthID
 P-00G-2PZ
1
Author(s)
Document Type
Proceedings Paper
Year published
1984
Published
in Proceedings of the Annual Conference of the Association for Computing Machinery
Pages: 50-54
Conference
Proceedings of the 1984 Annual Conference of the Association for Computing Machinery: The Fifth Generation Challenge., Location: San Francisco, CA, USA, Sponsors: ACM, New York, NY, USA
Indexing
Scopus®
Publication Identifiers
Scopus: 2-s2.0-0021665366
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service