|
|
|
|
|
|
|
|
1 - 10 von 20 |
|
|
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) algebraic logic eingrenzen (Basisklassifikation (XBKL)) 54.71
|
|
|
|
|
|
1. |
Proceedings Martin-Löf, Per. - Berlin : Springer, 1990
|
|
|
|
2. |
Logics in Artificial Intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings MacNish, Craig. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1994
|
|
|
|
3. |
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings Martin-Löf, Per. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1990
|
|
|
|
4. |
Commonsense reasoning : an event calculus based approach Mueller, Erik T. *19XX-*. - Second edition. - Amsterdam : Elsevier, Morgan Kaufmann, [2015]
|
|
|
|
5. |
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12 - 16, 1988 ; proceedings Martin-Löf, Per. - Online-Ausg.. - Berlin [u.a.] : Springer, 1990
|
|
|
|
6. |
Algebraic and logic programming : third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings Kirchner, Hélène. - Online-Ausg.. - Berlin [u.a.] : Springer, 1992
|
|
|
|
7. |
Proof and disproof in formal logic : an introduction for programmers Bornat, Richard. - Oxford [u.a.] : Oxford Univ. Press, 2005
|
|
|
|
8. |
Logik im Klartext Kelly, John. - München [u.a.] : Pearson Education, 2003
|
|
|
|
9. |
Logic, meaning, and computation : essays in memory of Alonzo Church Anderson, C. Anthony. - Dordrecht [u.a.] : Kluwer Academic Publishers, 2001
|
|
|
|
10. |
Handbook of logic and proof techniques for computer science Krantz, Steven G. *1951-*. - Boston : Birkhäuser [u.a.], 2002
|
|
|
|
|
|
|
1 - 10 von 20 |
|
Wort |
|
Typ |
|
Anzahl |
|
54.71 |
|
Basisklassifikation (XBKL) |
|
297 |
algebraic logic |
|
Schlagwörter GND (Phrase) (XSP) |
|
744 |
|
|
|
|
|
|
|
1 - 10 von 20 |
|
|