Zum Hauptinhalt springen
Landesbibliothekszentrum Rheinland-Pfalz
LBZ-Katalog PLUS

Suchergebnisse

LBZ-Katalog

Aufsätze und mehr
24 Treffer

Suchmaske

Suchtipp für den Bereich Aufsätze und mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Inhaltsanbieter

24 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    On the value of antiprenexing
    Egly, Uwe ; Carbonell, J. G. [Ed.] ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Proof plans for the correction of false conjectures
    Monroy, Raul ; Bundy, Alan ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Logical closures
    Duggan, Dominic ; Carbonell, J. G. [Ed.] ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    RISC-CLP(CF) constraint logic programming over complex functions
    Hong, Hoon ; Carbonell, J. G. [Ed.] ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Implementing a finite-domain CLP-language on top of Prolog: a transformational approach
    Vandecasteele, Henk ; de Schreye, Danny ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    On the relation between the λμ-calculus and the syntactic theory of sequential control
    de Groote, Philippe ; Carbonell, J. G. [Ed.] ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Projection in temporal logic programming
    Duan, Zhenhua ; Koutny, Maciej ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Goal dependent vs. goal independent analysis of logic programs
    Codish, M. ; de la Banda, M. García ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    A kind of achievement by parts method
    Mathieu, Ph. ; Delahaye, J. P. ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    On a proof-theoretical analysis of Σ1 1-AC, Σ1 1-DC and Δ1 1-CA
    Tupailo, Sergei ; Carbonell, J. G. [Ed.] ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Program tactics and logic tactics
    Mechanized Reasoning Group ; Giunchiglia, Fausto ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    A generic declarative diagnoser for normal logic programs
    Lu, Lunjin ; Carbonell, J. G. [Ed.] ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Generalization and reuse of tactic proofs
    Felty, Amy ; Howe, Douglas ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    On anti-links
    Beckert, Bernhard ; Hähnle, Reiner ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    A bottom-up reconstruction of the well-founded semantics for disjunctive logic programs
    Papp, Cristian ; Carbonell, J. G. [Ed.] ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Multi-SLD resolution
    Smith, Donald A. ; Hickey, Timothy J. ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    An efficient computation of the extended generalized closed world assumption by support-for-negation sets
    Seipel, Dietmar ; Carbonell, J. G. [Ed.] ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Constraint logic programming in the sequent calculus
    Darlington, John ; Guo, Yike ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    On conditional rewrite systems with extra variables and deterministic logic programs
    Avenhaus, Jürgen ; Loría-Sáenz, Carlos ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    A logic programming framework for the abductive inference of intentions in cooperative dialogues
    Quaresma, Paulo ; Lopes, José Gabriel ; et al.
    1994
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?

Weitere Kataloge

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -