Library - International Centre for Theoretical Sciences catalog › Results of search for 'ccl=au:"Hans J. Ohlbach"'

Your search returned 3 results.

Not what you expected? Check for suggestions

	1.	GWAI-92: Advances in Artificial Intelligence by Hans J. Ohlbach. Series: Lecture Notes in Computer ScienceEdition: 1993Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	2.	Qualitative and Quantitative Practical Reasoning by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach. Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	3.	Temporal Logic by Dov M. Gabbay, Hans J. Ohlbach. Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)