dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Antoni Diller Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2005
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoni Diller: How Empiricism Distorts AI and Robotics. Artificial Intelligence and Applications 2005: 339-343
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoni Diller: Assessing Information Heard on the Radio. Intelligent Information Systems 2005: 426-430
2002
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoni Diller: Efficient multi-variate abstraction using an array representation for combinators. Inf. Process. Lett. 84(6): 311-317 (2002)
1994
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoni Diller, Rosemary Docherty: Z and Abstract Machine Notation: A Comparison. Z User Workshop 1994: 250-263
1993
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoni 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoni Diller: Z and Hoare Logics. Z User Workshop 1991: 59-76
1990
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoni Diller: Z - an introduction to formal methods. Wiley 1990: I-XXI, 1-309
1989
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoni Diller: Compiling functional languages. Wiley 1989: I-XXI, 1-289

Coauthor Index

1Rosemary Docherty [5]

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page