1
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel

Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel

Έτος:
2000
Γλώσσα:
english
Αρχείο:
PDF, 13.96 MB
0 / 0
english, 2000
3
Deduktion: Automatisierung der Logik

Deduktion: Automatisierung der Logik

Έτος:
2020
Γλώσσα:
german
Αρχείο:
PDF, 65.63 MB
0 / 0
german, 2020
4
Intellectics and computational logic: papers in honor of Wolfgang Bibel

Intellectics and computational logic: papers in honor of Wolfgang Bibel

Έτος:
2000
Γλώσσα:
english
Αρχείο:
DJVU, 3.75 MB
0 / 0
english, 2000
7
Foundations of Equational Logic Programming

Foundations of Equational Logic Programming

Έτος:
1989
Γλώσσα:
english
Αρχείο:
DJVU, 1.70 MB
0 / 0
english, 1989
9
Foundations of Equational Logic Programming

Foundations of Equational Logic Programming

Έτος:
1989
Γλώσσα:
english
Αρχείο:
DJVU, 1.97 MB
0 / 0
english, 1989
12
Foundations of Equational Logic Programming

Foundations of Equational Logic Programming

Έτος:
1989
Γλώσσα:
english
Αρχείο:
DJVU, 2.59 MB
0 / 5.0
english, 1989
14
Ausgezeichnete Informatikdissertationen 1999

Ausgezeichnete Informatikdissertationen 1999

Έτος:
2000
Γλώσσα:
german
Αρχείο:
PDF, 13.86 MB
0 / 0
german, 2000