Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Publikation
- theorem proving in higher order logics (9783540678632) 8 Treffer
- types for proofs & programs (9783540744634) 7 Treffer
- theorem proving in higher order logics (9783540406648) 6 Treffer
- theorem proving in higher order logics (9783540745907) 6 Treffer
- types for proofs & programs 6 Treffer
-
15 weitere Werte:
- automated reasoning 4 Treffer
- computer aided systems theory - eurocast 2007 4 Treffer
- logic for programming, artificial intelligence & reasoning (9783540755586) 3 Treffer
- automated deduction - cade-20 2 Treffer
- functional & logic programming (9783540334385) 2 Treffer
- theorem proving in higher order logics 2 Treffer
- theorem proving in higher order logics (9783540283720) 2 Treffer
- theorem proving in higher order logics (9783540615873) 2 Treffer
- automated deduction - cade-15 1 Treffer
- computer aided systems theory - eurocast 2005 1 Treffer
- computer science logic (9783540282310) 1 Treffer
- computer science logic (9783540454588) 1 Treffer
- logic for programming, artificial intelligence & reasoning (9783540305538) 1 Treffer
- processes, terms & cycles: steps on the road to infinity 1 Treffer
- term rewriting & applications (9783540368342) 1 Treffer
Sprache
61 Treffer
-
In: Types for Proofs & Programs; (2006) S. 170-185BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540283720); (2005) S. 245-260BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540406648); (2003) S. 270-286BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540406648); (2003) S. 87-102BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540678632); (2000) S. 356-371BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540678632); (2000) S. 108-125BuchZugriff:
-
In: Functional & Logic Programming (9783540334385); (2006) S. 114-129BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540283720); (2005) S. 98-113BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540406648); (2003) S. 335-351BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540406648); (2003) S. 155-170BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540678632); (2000) S. 126-144BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540615873); (1996) S. 125-139BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540615873); (1996) S. 251-266BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540678632); (2000) S. 388-405BuchZugriff:
-
In: Types for Proofs & Programs (9783540744634); (2007) S. 237-252BuchZugriff:
-
In: Types for Proofs & Programs (9783540744634); (2007) S. 63-77BuchZugriff:
-
In: Computer Aided Systems Theory - EUROCAST 2007; (2007) S. 210-216BuchZugriff:
-
In: Types for Proofs & Programs (9783540744634); (2007) S. 203-220BuchZugriff:
-
In: Types for Proofs & Programs (9783540744634); (2007) S. 253-268BuchZugriff:
-
In: Logic for Programming, Artificial Intelligence & Reasoning (9783540755586); (2007) S. 151-165BuchZugriff: