DE eng

Search in the Catalogues and Directories

Hits 1 – 2 of 2

1
Northeast Artificial Intelligence Consortium Annual Report 1987. Volume 8. Knowledge Base Maintenance Using Logic Programming Methodologies
In: DTIC AND NTIS (1989)
BASE
Show details
2
Model theory for modal logic : Kripke models for modal predicate calculi
Bowen, Kenneth A.. - Dordrecht [u.a.] : Reidel, 1979
IDS Mannheim
Show details

Catalogues
0
1
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
1
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern