馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Flexible query answering systems：6th international conference, FQAS 2004, Lyon, France, June 24-26, 2004 : proceedings

Corporate Authors: FQAS 2004 (2004 Lyon, France
Group Author: Christiansen Henning 1955-
Published: Springer,
Publication Dates: c2004.
Call Number: G354.4-532/F619/2004

Book

2

Cover is for reference only

Flexible query answering systems：9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011, proceedings

Corporate Authors: FQAS 2011 (2011 Ghent, Belgium)
Group Author: Christiansen Henning, 1955-
Published: Springer,
Publication Dates: c2011.

Book

3

Cover is for reference only

Constraint solving and language processing：first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 ; revised selected and invited papers

Corporate Authors: CSLP 2004 (2004 Roskilde, Denmark); SpringerLink (Online service)
Group Author: Skadhauge Peter Rossen.; Villadsen Jørgen.; Christiansen Henning, 1955-
Published: Springer,
Publication Dates: c2005.

Book

4

Cover is for reference only

Flexible query answering systems：third international conference, FQAS '98, Roskilde, Denmark, May 13-15, 1998 : proceedings

Corporate Authors: FQAS '98 (1998 Roskilde, Denmark)
Group Author: Christiansen Henning 1955-; Larsen Henrik Legind; Andreasen Troels
Published: Springer,
Publication Dates: c1998.
Call Number: G354.4-532/F619/1998/

Book

5

Cover is for reference only

Flexible query answering systems

Group Author: Andreasen Troels; Christiansen Henning 1955-; Larsen Henrik Legind
Published: Kluwer Academic Publishers,
Publication Dates: c1997.
Call Number: G354.4/F619/

Book

6

Cover is for reference only

Constraint solving and language processing：first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 ; revised selected and invited papers

Corporate Authors: CSLP 2004 (2004 Roskilde, Denmark); SpringerLink (Online service)
Group Author: Skadhauge Peter Rossen.; Villadsen J2rgen.; Christiansen Henning, 1955-
Published: Springer,
Publication Dates: c2005.
Call Number: TP311-532/C758/2004

Book

7

Cover is for reference only

Flexible Query Answering Systems : 12th International Conference, FQAS 2017, London, UK, June 21 22, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Christiansen, Henning; Jaudoin, Hélène; Chountas, Panagiotis; Andreasen, Troels; Larsen, Henrik Legind
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

8

Cover is for reference only

Partiality and underspecification in information, languages, and knowledge /

Group Author: Christiansen, Henning, 1955; Jiménez López, María Dolores, 1963; Loukanova, Roussanka; Moss, Lawrence Stuart, 1959
Published: Cambridge Scholars Publishing,
Publication Dates: 2017.
Call Number: H087/P273-1

Book

9

Cover is for reference only

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers /

Corporate Authors: LOPSTR (Symposium) Leuven, Belgium); SpringerLink (Online service)
Group Author: Albert, Elvira
Published: Springer,
Publication Dates: 2013.

eBook

Narrow Search