 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 15  |
| ||
 |
Ihre Aktion | Suchen (Schlagwörter GND (Phrase) (XSP)) algebraische logik 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. |
Proof and disproof in formal logic : an introduction for programmers Bornat, Richard. - Oxford [u.a.] : Oxford Univ. Press, 2005 |
|
| |||
|
7. |
Logik im Klartext Kelly, John. - München [u.a.] : Pearson Education, 2003 
|
|
| |||
|
8. |
Logic, meaning, and computation : essays in memory of Alonzo Church Anderson, C. Anthony. - Dordrecht [u.a.] : Kluwer Academic Publishers, 2001 |
|
| |||
|
9. |
Handbook of logic and proof techniques for computer science Krantz, Steven G. *1951-*. - Boston : Birkhäuser [u.a.], 2002 |
|
| |||
|
10. |
Special issue San Diego, Calif. [u.a.] : Academic Press, 2000-2002 |
|
| |||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
|
1 - 10 von 15 |
|
|
|
1 - 10 von 15 |
|
|||||||||||||||||||||||||