Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dce=006.3
im Bestand: Gesamter Bestand

1261 - 1270 von 1272

	1261	Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III Enthalten in Künstliche Intelligenz Bd. 34, 18.10.2019, Nr. 1, date:3.2020: 105-108
	1262	Innovations in intelligent machines Berlin : Springer
	1263	Intelligent autonomous systems 12 Berlin : Springer
	1264	Intelligent robotics and applications Berlin : Springer
	1265	Intelligent robotics and applications Berlin : Springer
	1266	Intelligent robotics and applications Berlin : Springer
	1267	Intelligent robotics and applications Berlin : Springer
	1268	Intelligent robotics and applications Berlin : Springer
	1269	Proceedings of 2013 Chinese Intelligent Automation Conference Chinese Intelligent Automation Conference (2013 : Yangzhou). - Berlin : Springer
	1270	Proceedings of the 2015 Chinese Intelligent Automation Conference Chinese Intelligent Automation Conference (2015 : Fuzhou, Fujian). - Heidelberg : Springer