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
    Datensatz exportieren als...
  • BibTeX
Aussagenlogik: Deduktion und Algorithmen : Deduktion und Algorithmen
Leitfäden und Monographien der Informatik
1st ed. 1994, 1994
    Datensatz exportieren als...
  • BibTeX
Auswahl- und Positionierungsprobleme beim Konfigurieren und ihre aussagenlogische Beschreibung
Reihe Informatik : 101 (Alle Bände)
1992
Signatur: MQ23913
    Datensatz exportieren als...
  • BibTeX
Search space and average proof length of resolution
Reihe Informatik : 135 (Alle Bände)
1993
Signatur: MQ23945
    Datensatz exportieren als...
  • BibTeX
Propositional logic : deduction and algorithms
Cambridge tracts in theoretical computer science : 48 (Alle Bände)
1999
Signatur: TVU4895-EN
    Datensatz exportieren als...
  • BibTeX
Aussagenlogik: Deduktion und Algorithmen
Leitfäden und Monographien der Informatik
1994
Signatur: TVU4895
    Datensatz exportieren als...
  • BibTeX
On the restricted equivalence for subclasses of propositional logic
Reihe Informatik : 107 (Alle Bände)
1992
Signatur: MQ23919
Open Access
    Datensatz exportieren als...
  • BibTeX
Verification of infinite-state graph transformation systems via abstraction : = Verifikation von Graphtransformationssystemen mit unendlichem Zustandsraum mittels Abstraktion [Elektronische Ressource]
2015
    Datensatz exportieren als...
  • BibTeX
Verification of infinite-state graph transformation systems via abstraction : = Verifikation von Graphtransformationssystemen mit unendlichem Zustandsraum mittels Abstraktion
2015
Signatur: PQ911
Open Access
    Datensatz exportieren als...
  • BibTeX
Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs
2019
    Datensatz exportieren als...
  • BibTeX
Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs
2019
Signatur: PQ1309
1 – 10 von 10
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen