DE eng

Search in the Catalogues and Directories

Hits 1 – 2 of 2

1
System of Automated Deduction (SAD): Linguistic and Deductive Peculiarities
In: http://www.dcs.kcl.ac.uk/staff/anatoli/papers/sad-iis.ps
BASE
Show details
2
Linguistic Tools and Deductive Technique of the System for Automated Deduction
In: http://www.lsi.upc.es/~roberto/wil/6.ps.gz
BASE
Show details

Catalogues
0
0
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
2
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern