Central Library

Your search returned 42 results. Subscribe to this search

Unhighlight Highlight
|
Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings / edited by Bernhard Gramlich, Dale Miller, Ulrike Sattler.

by Gramlich, Bernhard [editor.] | Miller, Dale [editor.] | Sattler, Ulrike [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available

Natural Language Processing - IJCNLP 2005 [electronic resource] : Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings / edited by Robert Dale, Kam-Fai Wong, Jian Su, Oi Yee Kwong.

by Dale, Robert [editor.] | Wong, Kam-Fai [editor.] | Su, Jian [editor.] | Kwong, Oi Yee [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available