Refine your search

Your search returned 3 results. Subscribe to this search

|
1. Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee

Chang, Chin-Liang | Lee, Richard Char-Tung.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: San Diego [etc.] : Academic Press, 1973Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1), 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 510.6/CHA/sym, Depósito-510.6/CHA/sym.

Place hold Log in to add tags. Add to cart
2. Elementary computability, formal languages, and automata / Robert McNaughton.

MacNaughton, Robert.

Material type: book Book; Format: print Publisher: Lawrence, Kansas : Publishing Industries, cop. 1993Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 519.6/MCN/ele.

3. Introduction to languages and theory of computation / John C. Martin.ISBN:9780071289429

Martin, John C.

Edition: 4ª ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : McGraw-Hill, 2011Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 681.3.06/MAR/int.

Powered by Koha