Normal view MARC view ISBD view

Research and development in information retrieval

By:

Van rijsbergen C J. ed

Material type:

TextLanguage: English Publication details: Cambridge C U P 1984Subject(s):

LIBRARY SCIENCE

DDC classification:

2:97:f, M4 (2D)

Item type:

Textual

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
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	Textual	Arts Library	Arts Library			2:97:f M4 (2D) (Browse shelf(Opens below))					Available			AL0883801

There are no comments on this title.

to post a comment.

Back to results

101 Introduction to metamathematics
by Kleene Stephen Cole
102 Introduction to metamathematics
by Kleene Stephen Cole
103 Introduction to the analytic:Theory of numbers
by Ayoub Raymond
104 Introductionn to mathematics
by Kleene Stephen Cole
105 Introductory mathematics for engineers: Lectures in higher mathematics.
by Myskis, A. D.
106 Investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
by Boole George
107 Investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
by Boole George
108 Investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
by Boole George
109 Investigation of the laws of thought on whichare founded the mathematical theories of logic and probabilities
by Boole George
110 Junior high school mathematics units
by School Mathematics Study Group
111 La Logica de la Planificacion de inversiones Lie logi
by Chakravarty S
112 Lambda calculus: its syntax and semantics
by Barendregt H P
113 Levels of abstraction in logic and human action
by Haques Elliott ed
114 Logic and integer programming
by Williams H Paul
115 Logic for computer science: Fundations of automatic theorem proving
by Gallier Jean H
116 Logic in elementary mathematics
by Exner Robert M
117 Logic, semantics metamathematics
by Tarski Alfred
118 Logic, semantics metamathematics
by Tarski Alfred
119 Logical tools for handling change in agent-based systems
by Gabbay Dov M Ed.
120 Martin Davis on Computability, Computational Logic, and Mathematical Foundations
by Eugenio G. Omodeo, Alberto Policriti
121 Mathematical analysis of logic
by Boole George
122 Mathematical analysis of logic
by Boole George
123 Mathematical discoures: The heart of mathematical science
by Newsom Carroll V
124 Mathematical foundation of GIS
by Kainz, Wolfgang,
125 Mathematical introduction to logic
by Enderton Herbert B
126 A Mathematical Introduction to Logic, 2nd edition
127 Mathematical logic
by Ebbinghaus, Heinz-Dieter
128 Mathematical logic
by Ebbinghaus Heinz-Dieter; Flum Jorg; Thomas Wolfgang
129 Mathematical logic
by Arruda Ayda I Ed.
130 Mathematical logic
by Ebbinghaus H D
131 Mathematical logic
by Kleene Stephen Cole
132 Mathematical logic
by Kleene Stephen Cole
133 Mathematical logic
by Quine Willard Van Orman
134 Mathematical logic
by Shoenfield Joseph R
135 Mathematical logic
by Quine Willard Van Orman
136 Mathematical logic
by Quine Willard Van Orman
137 Mathematical logic
by Quine Willard Van Orman
138 Mathematical logic
by Lal R N
139 Mathematical logic
by Lal R N
140 Mathematical logic
by Ebbinghaus H. D.
141 Mathematical logic
by Shoenfield Joseph R.
142 Mathematical logic
by Monk J Donald
143 Mathematical Logic
144 Mathematical Logic
by Laszlo Csirmaz, Zalán Gyenis
145 Mathematical Logic
by Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
146 Mathematical Logic
by Roman Kossak
147 Mathematical Logic
by Chiswell
148 Mathematical Logic
by Steen S. W. P.
149 Mathematical Logic
by Shoenfield Joseph R.
150 Mathematical logic
by Robbin Joel