Image from Google Jackets

Normal view MARC view ISBD view

Computational Logic and Proof Theory : Lecture Notes in Computer Science:Proceedings

By:

Gottlob, G.: Leitsch, A.: Mundici, D

Language: English Publication details: Springer: Tokyo; 1997Description: 348 pISBN:

0003540633855

Subject(s):

Computational Logic : Computer Science

DDC classification:

004
G57

Item type:

Refrence Book

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Home library	Collection	Call number	Status	Date due	Barcode	Item holds
Refrence Book	UCSC Library Reference Section	UCSC Library Reference Section	Reference Collection	004 G57 (Browse shelf(Opens below))	Available		A13810

Total holds: 0

There are no comments on this title.

to post a comment.

Previous

Back to results

Next

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

1 6502 Applications
by ZAKS, Rodnay
2 6502 Assembly language programming
by LEVENTHAL, Lance A.
3 THE ART OF SOFTWARE TESTING
by MYERS G.J.
4 The assesment of college performance
by MILLER, Richard I
5 BASIC MICROPROCESSORS AND THE 6800
by BISHOP ,R.
6 Benefit monitoring as a component of integrated rural area development project design
by ONATE, Burton T.
7 Calculus with analytic geometry
by FLEMING, Daniel J : KAPUT, James J
8 Computer architecture and organization
by HAYES, John P.
9 Computers in business : An introduction
by SANDERS, Donald H.
10 Computers : in management and business studies
by LUCAS, Harold
11 Digital Logic and Computer Design
by MANO, M.M.
12 Essential College Algebra
by STOCKTON, Doris S.
13 Finite mathematics with applications for buisness and social sciences
by MIZRAHI, Abc : SULLIVAN, Michael
14 IMS design and implementation techniques
by McEleath, J.J. :
15 INTRODUCTION TO AUTOMATA THEORY, LANGUAGES AND COMPUTATION
by Hopcroft J.E. : Ullman J.D.

Close

© 2026 All rights reserved. UCSC