Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Algorithmus 5 [ausschließen]
- Logische Programmierung 4 [ausschließen]
- Mathematische Logik 4 [ausschließen]
- Computer programming 3 [ausschließen]
- Logic, Symbolic and mathematical 3 [ausschließen]
- Maschinelles Lernen 3 [ausschließen]
- Programmierung 3 [ausschließen]
- Prädikatenlogik 3 [ausschließen]
- Aufgabensammlung 2 [ausschließen]
- Automatisches Beweisverfahren 2 [ausschließen]
- Berechnungstheorie 2 [ausschließen]
- Computer science -- Mathematics 2 [ausschließen]
- Datenverarbeitung 2 [ausschließen]
- Diskrete Mathematik 2 [ausschließen]
- Informatica 2 [ausschließen]
- Informatik 2 [ausschließen]
- Informatique - Mathématiques 2 [ausschließen]
- Künstliche Intelligenz 2 [ausschließen]
- Logica matematica (textos introdutorios) 2 [ausschließen]
- Logique symbolique et mathématiques 2 [ausschließen]
- Mathematik 2 [ausschließen]
- Programmeren (computers) 2 [ausschließen]
- Recursieve functies 2 [ausschließen]
- Rekursion 2 [ausschließen]
- Rekursive Funktion 2 [ausschließen]
- Stufe 1 2 [ausschließen]
- Symbolische logica 2 [ausschließen]
- Wiskundige logica 2 [ausschließen]
- Algorithmes 1 [ausschließen]
- Algorithms 1 [ausschließen]
-
1
-
2
-
3
-
4
-
5
Lambda calculi a guide for computer scientists
Veröffentlicht 1994“… Graduate texts in computer science …”
Inhaltsverzeichnis
Buch -
6
Specification of software systems
Veröffentlicht 1998“… Graduate texts in computer science …”
Inhaltsverzeichnis
Buch -
7
Descriptive complexity
Veröffentlicht 1999“… Graduate texts in computer science …”
Inhaltsverzeichnis
Buch -
8
Refinement calculus a systematic introduction
Veröffentlicht 1998“… Graduate texts in computer science …”
Inhaltsverzeichnis
Buch -
9
Fundamentals of the new artificial intelligence beyond traditional paradigms
Veröffentlicht 1998“… Graduate texts in computer science …”
Inhaltsverzeichnis
Buch -
10
On concurrent programming
Veröffentlicht 1997“… Graduate texts in computer science …”
Inhaltsverzeichnis
Buch -
11
Deduction systems
Veröffentlicht 1997“… Graduate texts in computer science …”
Inhaltsverzeichnis
Buch -
12
-
13
Verification of sequential and concurrent programs
Veröffentlicht 1997“… Graduate texts in computer science …”
Buch -
14
Logic for applications
Veröffentlicht 1997“… Graduate texts in computer science …”
DE-739
Elektronisch E-Book -
15
First-order logic and automated theorem proving
Veröffentlicht 1996“… Graduate texts in computer science …”
DE-91G
DE-91
URL des Erstveröffentlichers
Elektronisch E-Book -
16
A recursive introduction to the theory of computation
Veröffentlicht 1994“… Graduate texts in computer science …”
Inhaltsverzeichnis
Buch -
17
An introduction to Kolmogorov complexity and its applications
Veröffentlicht 1997“… Graduate texts in computer science …”
Inhaltsverzeichnis
Buch -
18
Logic for applications
Veröffentlicht 1997“… Graduate texts in computer science …”
Inhaltsverzeichnis
Buch -
19
First order logic and automated theorem proving
Veröffentlicht 1996“… Graduate texts in computer science …”
Buch -
20
A recursive introduction to the theory of computation
Veröffentlicht 1994“… Graduate texts in computer science …”
Buch