Bibliographic Information

Logic for applications

Anil Nerode, Richard A. Shore

(Texts and monographs in computer science)

Springer-Verlag, c1993

  • : us
  • : gw

Available at  / 31 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. 329-354) and indexes

Related Books: 1-1 of 1

Details

Page Top