Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Positive constructed formulas preprocessing for automatic deduction
2016 39th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), 2016, p.1305-1308
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Software for automated theorem proving based on the calculus of positively constructed formulas
2016 IEEE 11th Conference on Industrial Electronics and Applications (ICIEA), 2016, p.940-945
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The calculus of positively constructed formulas, its features, strategies and implementation
2013 36th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), 2013, p.1023-1028
2013
Volltextzugriff (PDF)
1 – 3 von 3
Suche als RSS-Feed
Aktive Filter
Nur zeigenGeprüft (Peer-Review)
ThemaControl Theory
Suchergebnisse filtern
Filter anzeigen