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 46 Treffer
- mathematical logic and formal languages 43 Treffer
- artificial intelligence (incl. robotics) 39 Treffer
- software engineering 32 Treffer
- logic design 20 Treffer
-
35 weitere Werte:
- programming languages, compilers, interpreters 16 Treffer
- programming techniques 8 Treffer
- symbolic and algebraic manipulation 7 Treffer
- mathematical logic and foundations 5 Treffer
- computer communication networks 4 Treffer
- database management 4 Treffer
- computer-aided engineering (cad, cae) and design 2 Treffer
- computing methodologies 2 Treffer
- data mining and knowledge discovery 2 Treffer
- information systems applications (incl.internet) 2 Treffer
- mathematics, general 2 Treffer
- theory of computation 2 Treffer
- biomedicine 1 Treffer
- biotechnology 1 Treffer
- cell biology 1 Treffer
- chemistry 1 Treffer
- computation by abstract devices 1 Treffer
- computational mathematics and numerical analysis 1 Treffer
- computer systems organization and communication networks 1 Treffer
- computers and society 1 Treffer
- data encryption 1 Treffer
- food science 1 Treffer
- information storage and retrieval 1 Treffer
- information systems and communication service 1 Treffer
- life sciences 1 Treffer
- management of computing and information systems 1 Treffer
- mathematics of computing 1 Treffer
- microbiology 1 Treffer
- musical groups 1 Treffer
- musicians 1 Treffer
- neurosciences 1 Treffer
- operating systems 1 Treffer
- processor architectures 1 Treffer
- simulation and modeling 1 Treffer
- software engineering/programming and operating systems 1 Treffer
Verlag
Publikation
- theorem proving in higher order logics (9783540678632) 8 Treffer
- theorem proving in higher order logics (9783540406648) 6 Treffer
- types for proofs & programs 6 Treffer
- automated deduction - cade-20 2 Treffer
- functional & logic programming (9783540334385) 2 Treffer
-
30 weitere Werte:
- 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
- algebra, meaning & computation 1 Treffer
- applied formal methods-fm-trends 98 1 Treffer
- automated deduction - cade-15 1 Treffer
- benet's reader's encyclopedia 1 Treffer
- computer aided systems theory - eurocast 2005 1 Treffer
- computer science logic (9783540282310) 1 Treffer
- computer security - esorics 2005 1 Treffer
- formal methods & software engineering 1 Treffer
- foundations of software science & computation structures (978-3-540-41864-1) 1 Treffer
- future tendencies in computer science, control & applied mathematics 1 Treffer
- jean cocteau 1 Treffer
- ki 2004: 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
- merriam-webster's biographical dictionary 1 Treffer
- mitochondrial dna 1 Treffer
- molecular techniques in the microbial ecology of fermented foods 1 Treffer
- neurogenetics (9780896039902) 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
- seventeen provers of the world 1 Treffer
- tools & algorithms for the construction & analysis of systems (9783540643562) 1 Treffer
- verification, model checking & abstract interpretation (9783540311393) 1 Treffer
Sprache
59 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:
-
In: Merriam-Webster's Biographical Dictionary; (1995) S. 1-1BuchZugriff: