Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- logics and meanings of programs 81 Treffer
- mathematical logic and formal languages 74 Treffer
- artificial intelligence (incl. robotics) 68 Treffer
- software engineering 52 Treffer
- programming languages, compilers, interpreters 31 Treffer
-
41 weitere Werte:
- logic design 26 Treffer
- programming techniques 17 Treffer
- symbolic and algebraic manipulation 15 Treffer
- computer communication networks 9 Treffer
- management of computing and information systems 7 Treffer
- computer-aided engineering (cad, cae) and design 6 Treffer
- mathematical logic and foundations 6 Treffer
- database management 5 Treffer
- pattern recognition 5 Treffer
- processor architectures 5 Treffer
- simulation and modeling 5 Treffer
- data encryption 4 Treffer
- data mining and knowledge discovery 4 Treffer
- systems and data security 4 Treffer
- algorithm analysis and problem complexity 3 Treffer
- computation by abstract devices 3 Treffer
- computers and society 3 Treffer
- data structures, cryptology and information theory 3 Treffer
- information systems applications (incl.internet) 3 Treffer
- theory of computation 3 Treffer
- computing methodologies 2 Treffer
- information storage and retrieval 2 Treffer
- mathematics, general 2 Treffer
- operating systems 2 Treffer
- ciencia de computadores 1 Treffer
- ciencias da computacao e da informacao 1 Treffer
- ciencias exactas e naturais::ciencias da computacao e da informacao 1 Treffer
- computational mathematics and numerical analysis 1 Treffer
- computer and information sciences 1 Treffer
- computer graphics 1 Treffer
- computer systems organization and communication networks 1 Treffer
- convex and discrete geometry 1 Treffer
- data structures 1 Treffer
- discrete mathematics in computer science 1 Treffer
- electronic commerce/e-business 1 Treffer
- information systems and communication service 1 Treffer
- language translation and linguistics 1 Treffer
- legal aspects of computing 1 Treffer
- mathematics of computing 1 Treffer
- natural sciences::computer and information sciences 1 Treffer
- software engineering/programming and operating systems 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
-
44 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
- towards mechanized mathematical assistants 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
- automated deduction in geometry (978-3-540-77355-9) 1 Treffer
- computer aided systems theory - eurocast 2005 1 Treffer
- computer science logic (9783540282310) 1 Treffer
- computer science logic (9783540454588) 1 Treffer
- computer security - esorics 2005 1 Treffer
- fm 2005: formal methods 1 Treffer
- fm 2006: formal methods 1 Treffer
- formal aspects in security & trust (9783540752264) 1 Treffer
- formal methods & software engineering 1 Treffer
- foundations of software science & computation structures (978-3-540-41864-1) 1 Treffer
- frontiers of combining systems (9783540746201) 1 Treffer
- future tendencies in computer science, control & applied mathematics 1 Treffer
- information & communications security (978-3-540-77047-3) 1 Treffer
- ki 2004: advances in artificial intelligence 1 Treffer
- ki 2007: advances in artificial intelligence 1 Treffer
- logic for programming, artificial intelligence & reasoning (9783540305538) 1 Treffer
- logical foundations of computer science 1 Treffer
- mathematical knowledge management (9783540005681) 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
- provable security 1 Treffer
- seventeen provers of the world 1 Treffer
- sofsem 2008: theory & practice of computer science 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
96 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: Seventeen Provers of the World; (2006) S. 28-35BuchZugriff:
-
In: Theorem Proving in Higher Order Logics (9783540678632); (2000) S. 388-405BuchZugriff: