Author

Gallier, Jean H.

Catalogue records by Gallier, Jean H. in the PakCat Union Catalogue.

2 catalogue records

Catalogue records

Logic for computer science Gallier, Jean H. Year not listed Logic for computer science: foundations of automatic theorem proving Gallier, Jean H. 2015