Salem Benferhat, Philippe Besnard (eds.)

Hélène Kirchner, Christophe Ringeissen (eds.)

Manuel Ojeda-Aciego ... [et al.] (eds.)

Anthony Hunter, Simon Parsons (eds.)

Yves Bertot ... [et al.] (eds.)

Mogens Nielsen, Wolfgang Thomas (eds.)

Vasant Honavar, Giora Slutzki (eds.)

Jacques Calmet, Jan Plaza (eds.)

Magnus Boman, Walter Van de Velde (eds.)

William McCune (ed.)

Dirk van Dalen, Marc Bezem (eds.)

Gilles Dowek ... [et al.], (eds.)

M.A. McRobbie, J.K. Slaney, (eds.)

Leszek Pacholski, Jerzy Tiuryn (eds.)

edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier

A. Nerode, Yu. V. Matiyasevich (eds.)

Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

Jacques Calmet, John A. Campbell (eds.)

J. Oikkonen, J. Väänänen (eds.)

E. Börger ... [et al.] (eds.)

organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon

D. Kapur (ed.)

D. Pearce, H. Wansing (eds.)

E. Börger ... [et al.], eds

J. van Eijck (ed.)

edited by Rohit Parikh ; sponsored by IBM Research, Almaden Research Center and supported by the American Association for Artificial Intelligence and the AirForce Office of Scientific Research

E. Börger, H. Kleine Büning, M.M. Richter (eds.)

M.E. Stickel (ed.)

R. Studer (ed.)

A.R. Meyer, M.A. Taitslin (eds.)

edited by H.-D. Ebbinghaus ... [et al.]

E. Börger, H. Kleine Büning, M.M. Richter (eds.)

E. Lusk, R. Overbeek (eds.)

edited by Dimiter G. Skordev

edited by Ruth Barcan Marcus, Georg J.W. Dorn, Paul Weingartner

edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery

edited by Georg Dorn and P. Weingartner

edited by M.M. Richter ... [et al.]

edited by George Metakides

edited by L. Jonathan Cohen ... [et al.]

edited by G.H. Müller, G. Takeuti, and T. Tugué

edited by W. Bibel and R. Kowalski

edited by Frank Heny, Helmut S. Schnelle

edited by Ayda I. Arruda, Newton C.A. da Costa, Rolando Chuaqui

edited by Hervé Gallaire and Jack Minker

Centre national de la recherche scientifique

edited by Stig Kanger

edited by G.H. Müller, A. Oberschelp, K. Potthoff

edited by Hugues Leblanc