My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
Get it now
Don't show me again
     
Limit search to items available for borrowing or consultation
Save Marked Record Save All Records Save Marked to My Lists
AUTHORS (1-11 of 11)
Kowalski, Robert.
1
Cover Art
    E-RESOURCE 1980

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski.

    Conference on Automated Deduction (5th : 1980 : Les Arcs, Savoie, France)
Berlin ; New York : Springer-Verlag,        vii, 385 pages ; 24 cm. 1980
2
Cover Art
    E-RESOURCE 2018

The CLI book : writing successful command line interfaces with Node.js / Robert Kowalski.

    Kowalski, Robert, author.
[Berkley, CA] : APRESS,        1 online resource 2018
3
Cover Art
    E-RESOURCE 2017

The CLI Book: Writing Successful Command Line Interfaces with Node.js / [electronic resource] / Kowalski, Robert.

    Kowalski, Robert, author.
Apress,    1st edition    118 p. 2017
4
Cover Art
    E-RESOURCE 2002

Computational logic : logic programming and beyond / Antonis C. Kakas, Fariba Sadri (eds.).

   
Berlin ; New York : Springer,        1 online resource (2 volumes) : illustrations. 2002
5
Cover Art
    E-RESOURCE 2002

Computational logic : logic programming and beyond / Antonis C. Kakas, Fariba Sadri (eds.).

   
Berlin ; New York : Springer,        2 volumes : illustrations ; 24 cm. 2002
6
Cover Art
    PRINTED BOOKS 2002

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.). Part 1.

   
Berlin ; London : Springer,        xii, 678 pages : illustrations, 1 portrait ; 24 cm. 2002
7
Cover Art
    PRINTED BOOKS 2002

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.). Part 2.

   
Berlin ; London : Springer,        xii, 628 pages : illustrations, 1 portrait ; 24 cm. 2002
8
Cover Art
    PRINTED BOOKS 1979

Logic for problem solving / Robert Kowalski.

    Kowalski, Robert.
New York : Elsevier North Holland,        287 pages : illustrations ; 24 cm. 1979
10
Cover Art
    E-RESOURCE 1987-

TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari.

    International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy)
Berlin ; New York : Springer-Verlag,        1 online resource (volumes <1>) : illustrations. 1987-
11
Cover Art
    E-RESOURCE 1987

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari.

    Ehrig, Hartmut, editor.
Berlin, Heidelberg : Springer Berlin Heidelberg,        1 online resource (XIV, 336 pages) : online resource. 1987
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove