Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematical logic and formal languages 69 Treffer
- artificial intelligence (incl. robotics) 61 Treffer
- software engineering 49 Treffer
- programming languages, compilers, interpreters 31 Treffer
- logic design 26 Treffer
-
17 weitere Werte:
- programming techniques 16 Treffer
- symbolic and algebraic manipulation 14 Treffer
- mathematical logic and foundations 6 Treffer
- computer-aided engineering (cad, cae) and design 5 Treffer
- processor architectures 5 Treffer
- simulation and modeling 5 Treffer
- management of computing and information systems 4 Treffer
- pattern recognition 4 Treffer
- computation by abstract devices 3 Treffer
- computer communication networks 3 Treffer
- algorithm analysis and problem complexity 2 Treffer
- data structures, cryptology and information theory 2 Treffer
- systems and data security 2 Treffer
- computing methodologies 1 Treffer
- data structures 1 Treffer
- mathematics of computing 1 Treffer
- theory of computation 1 Treffer
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
-
31 weitere Werte:
- automated reasoning 4 Treffer
- computer aided systems theory - eurocast 2007 4 Treffer
- logic for programming, artificial intelligence & reasoning (9783540755586) 3 Treffer
- advances in computer science - asian 2006. secure software & related issues 2 Treffer
- automated deduction - cade-20 2 Treffer
- functional & logic programming (9783540334385) 2 Treffer
- mathematics of program construction (9783540356318) 2 Treffer
- rewriting, computation & proof 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
- typed lambda calculi & applications 2 Treffer
- algebra, meaning & computation 1 Treffer
- applied formal methods-fm-trends 98 1 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
- fm 2005: formal methods 1 Treffer
- fm 2006: formal methods 1 Treffer
- formal methods & software engineering 1 Treffer
- foundations of software science & computation structures (978-3-540-41864-1) 1 Treffer
- logic for programming, artificial intelligence & reasoning (9783540305538) 1 Treffer
- logical foundations of computer science 1 Treffer
- practical aspects of declarative languages (9783540309475) 1 Treffer
- principles & practice of declarative programming 1 Treffer
- processes, terms & cycles: steps on the road to infinity 1 Treffer
- programming languages & systems (9783540713142) 1 Treffer
- term rewriting & applications (9783540368342) 1 Treffer
- tools & algorithms for the construction & analysis of systems (9783540643562) 1 Treffer
- verification, model checking & abstract interpretation (9783540311393) 1 Treffer
Sprache
81 Treffer
-
In: Rewriting, Computation & Proof; (2007) S. 113-131BuchZugriff:
-
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: Rewriting, Computation & Proof; (2007) S. 259-269BuchZugriff:
-
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: Tools & Algorithms for the Construction & Analysis of Systems (9783540643562); (1998) S. 167-183BuchZugriff:
-
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: Algebra, Meaning & Computation; (2006) S. 216-234BuchZugriff:
-
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: