| |
|---|
| Utgitt
| Berlin : Springer , c1992
|
|---|
| Omfang
| |
|---|
| Opplysninger
| "... comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing ..." - Forordet
|
|---|
| Emner
| Matematisk logikk
symbolsk logikk modal logikkkprogrammering kongresser formikkemonoton beviteori kunstig intelligens matematisk logikkprogrammering
|
|---|
| ISBN
| |
|---|
