Selected Logic Papers

Advances in Web Based Learning - ICWL 2007 : 6th International Conference, Edinburgh, UK, August 15-17, 2007, Revised Papers ＜Lecture Notes in Computer Science v. 4823＞

Edited by Leung, Howard; Edited by Li, Frederick; ･･･

668p H235 x W155

9783540781387

Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings ＜Lecture notes in computer science＞

Michael Hanus, Mario Rodríguez-Artalejo (eds.)、Spr･･･

viii, 344 p. 24 cm

3540617353

Algorithmic properties of structures

selected papers of Erwin Engeler、World Scientific、･･･

viii, 257 p. H220 x W173

9810208723

Algorithms and architectures for real-time control 2000 (AARTC '2000) : a proceedings volume from the 6th IFAC Workshop, Palma de Mallorca, Spain, 15-17 May, 2000

edited by V. Hernández, G.W. Irwin、Pergamon、2000

vii, 245 p. 30 cm

0080436854

Annual Editions: Race and Ethnic Relations ＜Annual Editions＞ 18 Rev ed

By (author) Kromkowski, John A、McGraw-Hill Educati･･･

272p H274 x W210

9780078050893

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conference AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings ＜Lecture notes in computer science＞

Jacques Calmet ... [et al.] (eds.)、Springer、c2002

xi, 341 p. 24 cm

3540438653

Artificial intelligence in civil and structural engineering ＜NATO ASI series＞

edited by B.H.V. Topping、Kluwer Academic、c1992

xiv, 354 p. 25 cm

0792319567

Computational intelligence : theory and applications : International Conference, 5th Fuzzy Days, Dortmund, Germany, April 28-30 1997 : proceedings ＜Lecture notes in computer science＞

Bernd Reusch (ed.)、Springer、c1997

xiii, 609 p. 24 cm

3540628681

Coordination, Organizations, Institutions, and Norms in Agent Systems : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 2007 COIN@MALLOW 2007, Durham, UK, September 2007 Revised Selected Papers No. 3 ＜Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence v. 4870＞

Volume editor Sichman, Jaime Simao; Volume editor ･･･

343p H235 x W155

9783540790020

Dialogues in urban and regional planning 1

edited by Bruce Stiftel and Vanessa Watson、Routled･･･

v. 24 cm

9780415593342 0415346932

Domain theory, logic and computation : proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 ＜Semantic structures in computation＞

edited by GQ Zhang ... [et al.]、Kluwer Academic、c2･･･

xii, 196 p. 25 cm

1402018320

Environmental ergonomics : the ergonomics of human comfort, health and performance in the thermal environment ＜Elsevier ergonomics book series＞

Yutaka Tochihara, Tadakatsu Ohnaka、Elsevier、2005

xiii, 522 p. 27 cm

0080444660

Evolvable systems : from biology to hardware : Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000 : proceedings ＜Lecture notes in computer science＞

Julian Miller ... [et al.] (eds.)、Springer、c2000

x, 286 p. 24 cm

3540673385

Field-programmable logic and applications : 14th International Conference, FPL 2004, Antwerp, Belgium, August 30-September 1, 2004 : proceedings ＜Lecture notes in computer science＞

Jürgen Becker, Marco Platzner, Serge Vernalde (eds･･･

xxix, 1198 p. 24 cm

3540229892

Foundations of intelligent systems : 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002 : proceedings ＜Lecture notes in computer science＞ annotated ed

Mohand-Saïd Hacid ... [et al.] (eds.)、Springer、c20･･･

xii, 614 p. 24 cm

3540437851

From natural to artifical neural computation : International Workshop on Artificial Neural Networks, Malaga-Torremolinos, Spain, June 7-9, 1995 : proceedings ＜Lecture notes in computer science＞

José Mira, Francisco Sandoval, (eds.)、Springer-Ver･･･

xviii, 1150 p. 24 cm

0387594973

Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings ＜Lecture notes in computer science＞

Heinrich Hussmann (ed.)、Springer、c2001

xiii, 347 p. 24 cm

3540418636

Fundamental approaches to software engineering : 6th International Conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings ＜Lecture notes in computer science＞

Mauro Pezzè (ed.)、Springer、c2003

xiv, 402 p. 24 cm

3540008993

General, reviews, and analytic/synthetic ＜Philosophy of Quine＞

edited with introductions by Dagfinn Føllesdal、Gar･･･

xii, 447 p. 24 cm

0815337388

Groundwork in the theory of argumentation : selected papers of J. Anthony Blair ＜Argumentation library＞ 2012

J. Anthony Blair ; introduction by Christopher W. ･･･

xxi, 355 p. 24 cm

9789400738249

Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings ＜Lecture notes in computer science＞

Enrico Macii, Vassilis Paliouras, Odysseas Koufopa･･･

xvi, 910 p. 24 cm

3540230955

Integrated circuit design : power and timing modeling, optimization and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings ＜Lecture notes in computer science＞

Dimitrios Soudris, Peter Pirsch, Erich Barke (eds.･･･

xii, 338 p. 24 cm

3540410686

Knowledge-based intelligent information and engineering systems: KES 2007 - WIRN 2007 : 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007 : proceedings pt. 1 ＜Lecture notes in computer science＞

Bruno Apolloni, Robert J. Howlett, Lakhmi Jain (ed･･･

3 v. 24 cm

9783540748267

Lexicology ＜Critical Concepts in Linguistics＞

Edited by Hanks, Patrick、Taylor & Francis Ltd、2007･･･

2768p H234 x W156

9780415700986

Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, proceedings ＜Lecture notes in computer science＞

Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz (･･･

x, 281 p. 24 cm

9783642399916

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings ＜Lecture notes in computer science＞

Catuscia Palamidessi (ed.)、Springer、c2003

xii, 520 p. 24 cm

3540206426

Metaphor and Figurative Language ＜Critical Concepts in Linguistics＞

Edited by Hanks, Patrick; Edited by Giora, Rachel、･･･

3200p H234 x W156

9780415392495

MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings ＜Lecture notes in computer science＞

J. Demetrovics, B. Thalheim (eds.)、Springer-Verlag･･･

vi, 428 p. 25 cm

0387512519

Natural language processing and information systems : 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013 : proceedings ＜Lecture notes in computer science＞

Elisabeth Métais ... [et al.] (eds.)、Springer、c201･･･

xv, 426 p. 24 cm

9783642388231

Neural Information Processing : 14th International Confernce, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I ＜Lecture Notes in Computer Science v. 4984＞

Edited by Ishikawa, Masumi; Edited by Doya, Kenji;･･･

1176p H234 x W156

9783540691549