BA OPAC

Book List

Results: 459585

Keywords : International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) X

Logic, methodology, and philosophy of science IX [electronic resource] : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / edited by Dag Prawitz, Brian Skyrms, Dag Westerståhl.
- Call Number: 501
- Author: International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)
- publisher: Elsevier,
- Publication Year: 1994.
- Place of Publication: Amsterdam ; New York :
No Items available.

The Record Is InYour Cart X
Intelligent systems for information processing [electronic resource] : from representation to applications / edited by Bernadette Bouchon-Meunier, Laurent Foulloy, Ronald R. Yager.
- Call Number: 006.33
- publisher: Elsevier,
- Publication Year: 2003.
- Place of Publication: Amsterdam ; Boston :
No Items available.

The Record Is InYour Cart X
Many-dimensional modal logics [electronic resource] : theory and applications / D.M. Gabbay ... [et al.].
- Call Number: 511.3
- publisher: Elsevier North Holland,
- Publication Year: 2003.
- Place of Publication: Amsterdam ; Boston :
No Items available.

The Record Is InYour Cart X
Engineering digital design [electronic resource] / by Richard F. Tinder.
- Call Number: 621.395
- Author: Tinder, Richard F., 1930-
- publisher: Academic Press,
- Publication Year: c2000.
- Place of Publication: San Diego :
No Items available.

The Record Is InYour Cart X
Report of the Dag Hammarskjöld symposium on respecting international law and international institutions / [edited by Peter Wallensteen and Olle Nordberg].
- Call Number: 341.2 D125
- Author: Dag Hammarskjöld Symposium on Respecting International Law and International Institutions (2005 : Uppsala, Sweden)
- publisher: Dept. of Peace and Conflict Research, Uppsala University : Dag Hammarskjöld Foundation,
- Publication Year: 2005.
- Place of Publication: Uppsala :
1 Item(s) Available.
Clostx. - B3

The Record Is InYour Cart X
Nature and society in historical context / edited by Mikulas Teich, Roy Porter and Bo Gustafsson.
- Call Number: 304.2 N2856
- publisher: Cambridge University Press,
- Publication Year: 1997.
- Place of Publication: Cambridge ; New York :
1 Item(s) Available.
ML : B2 - General

The Record Is InYour Cart X
Modern information processing [electronic resource] : from theory to applications / edited by Bernadette Bouchon-Meunier, Giulianella Coletti, Ronald R. Yager.
- Call Number: 006.33
- Author: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems. (2004 : Perugia, Italy)
- publisher: Elsevier,
- Publication Year: 2006.
- Place of Publication: Amsterdam ; London :
No Items available.

The Record Is InYour Cart X
The basic writings of Bertrand Russell / Bertrand Russell ; edited by Robert E. Egner and Lester E. Denonn ; with an introduction by John G. Slater.
- Call Number: 192 R9611ba
- Author: Russell, Bertrand, 1872-1970,
- publisher: Routledge,
- Place of Publication: Abingdon, Oxon ; New York :
1 Item(s) Available.
ML : B4 - General

The Record Is InYour Cart X
Cafe [electronic resource] : an industrial-strength algebraic formal method / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai.
- Call Number: 511.3
- publisher: Elsevier,
- Publication Year: 2000.
- Place of Publication: Amsterdam ; New York :
No Items available.

The Record Is InYour Cart X
Brain vs computer : the challenge of the century / Jean-Pierre Fillard (University of Montpellier II, France).
- Call Number: 006.382 F484
- Author: Fillard, J. P.,
- publisher: World Scientific,
- Publication Year: [2017] ©2017
- Place of Publication: [Hackensack, New Jersey] :
1 Item(s) Available.
ML : B4 - General

The Record Is InYour Cart X

Refine Your Search

Book List