Library - International Centre for Theoretical Sciences catalog › Results of search for 'ccl=au:"Helene Kirchner"'

Search

Your search returned 5 results.

Not what you expected? Check for suggestions

	1.	Algebraic and Logic Programming by Helene Kirchner, Giorgio Levi. Series: Lecture Notes in Computer ScienceEdition: 1992Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1992Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	2.	Algebraic and Logic Programming by Helene Kirchner, Wolfgang Wechler. Series: Lecture Notes in Computer ScienceEdition: 1990Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1990Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	3.	Automated Deduction - CADE-15 by Claude Kirchner, Helene Kirchner. Series: Lecture Notes in Computer ScienceEdition: 1998Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	4.	Mathematical aspects of artificial intelligence by Catherine Lassez \| Frederick Hoffman \| Glenn Shafer \| Helene Kirchner \| Martin Charles Golumbic \| Monty Newborn \| Vishvjit S Nalwa. Series: Proceedings of symposia in applied mathematics ; v. 55Material type: Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5.	Trees in Algebra and Programming - CAAP '96 by Helene Kirchner. Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)