Refine Your Search
Book List
2
-
Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- 005.131 N1111
- NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design (1986 : Marktoberdorf, Germany)
- Springer-Verlag,
- c1987.
- Berlin ; New York :
-
Expert judgment and expert systems / edited by Jeryl L. Mumpower ... [et al.].
- 006.33 N1111e
- NATO Advanced Research Workshop on Expert Judgment and Expert Systems (1986 : Porto, Portugal)
- Springer-Verlag,
- c1987.
- Berlin ; New York :