![]() | ![]() |
| 2005 | ||
|---|---|---|
| 8 | Antoni Diller: How Empiricism Distorts AI and Robotics. Artificial Intelligence and Applications 2005: 339-343 | |
| 7 | Antoni Diller: Assessing Information Heard on the Radio. Intelligent Information Systems 2005: 426-430 | |
| 2002 | ||
| 6 | Antoni Diller: Efficient multi-variate abstraction using an array representation for combinators. Inf. Process. Lett. 84(6): 311-317 (2002) | |
| 1994 | ||
| 5 | Antoni Diller, Rosemary Docherty: Z and Abstract Machine Notation: A Comparison. Z User Workshop 1994: 250-263 | |
| 1993 | ||
| 4 | Antoni Diller: "What Computers Still Can't Do: A Critique of Artificial Reason, " by H. L. Dreyfus (Book Review). International Journal of Man-Machine Studies 39(3): 521-528 (1993) | |
| 1991 | ||
| 3 | Antoni Diller: Z and Hoare Logics. Z User Workshop 1991: 59-76 | |
| 1990 | ||
| 2 | Antoni Diller: Z - an introduction to formal methods. Wiley 1990: I-XXI, 1-309 | |
| 1989 | ||
| 1 | Antoni Diller: Compiling functional languages. Wiley 1989: I-XXI, 1-289 | |
| 1 | Rosemary Docherty | [5] |
Data released under the ODC-BY 1.0 license — See also our legal information page