Your search returned 2 results. Subscribe to this search

|
1. Diagrammatic Representation and Inference [electronic resource] : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings / edited by Dave Barker-Plummer, Richard Cox, Nik Swoboda.

by Barker-Plummer, Dave | Cox, Richard | Swoboda, Nik | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
2. Language, proof, and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.

by Barker-Plummer, Dave | Etchemendy, John, 1952- | Allwein, Gerard, 1956- | Barker-Plummer, Dave | Liu, Albert, 1966-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Stanford, Calif. : CSLI Publications, c2002Availability: Items available for loan: [Call number: BC61 .B37 2011] (1).

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue