Научная библиотека ТГУ catalog › Results of search for 'an:311185'

Search

Your search returned 4 results.

	1.	Analysis and Synthesis of Logics Электронный ресурс How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Carnielli, Walter \| Coniglio, Marcelo \| Gabbay, Dov M \| Gouveia, Paula \| Sernadas, Cristina \| SpringerLink (Online service). Series: Applied Logic SeriesSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	A Modern Perspective on Type Theory Электронный ресурс From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. by Kamareddine, Fairouz \| Laan, Twan \| Nederpelt, Rob \| SpringerLink (Online service). Series: Applied Logic SeriesSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science + Business Media, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Proof Theory for Fuzzy Logics Электронный ресурс by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise. by Metcalfe, George \| Barwise, Jon \| Gabbay, Dov M \| Gabbay, Dov \| Olivetti, Nicola \| SpringerLink (Online service). Series: Applied Logic SeriesSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Reasoning Robots Электронный ресурс The Art and Science of Programming Robotic Agents / by Michael Thielscher. by Thielscher, Michael \| SpringerLink (Online service). Series: Applied Logic SeriesSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer, 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)