Logic journal of the IGPL. :: SCD d'Orléans

Logic journal of the IGPL.

Logic journal of the IGPL.

Guardat en:

Dades bibliogràfiques
Títol anterior:	Journal of the IGPL (Online)
Autor corporatiu:	Interest group in pure and applied logics (Director editorial)
Format:	Revue numérique
Idioma:	Anglais
Publicat:	Oxford : Oxford University Press 1997-.
Matèries:	Logique symbolique et mathématique Logique informatique Périodique
Accés en línia:	Accès sur la plateforme de l'éditeur (OUP) Accès sur la plateforme ISTEX (Corpus OUP) Accès Université d'Orléans Accès INSA CVL
Nota:	Notice mise à jour d'après la consultation du 2014-06-06 Titre provenant de l'écran-titre Articles mis en ligne par Oxford University Press OUP (Licence nationale) The Keepers Registry Type of computer file: Articles en texte intégral au format html ou pdf
Autres localisations:	Voir dans le Sudoc
État de collection:	Revue électronique, (1997) - (2010)
Edition sous un autre format:	• Logic journal of the IGPL (Print), 1367-0751

Ítems similars

Journal of the IGPL.
Publicat: (1995)

Bulletin of the IGPL.
Publicat: (1993)

Journal of logic and computation.
Publicat: (1990)

The Journal of symbolic logic
Publicat: (1936)

The Journal of symbolic logic
Publicat: (1936)

Studia logica
Publicat: (2002)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
per: Loveland, Donald W., et al.
Publicat: (2014)

Specifying message passing and time-critical systems with temporal logic
per: Koymans, Ron, 1959-

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Automata, logics, and infinite games
per: Grädel, Erich, 1958-

The bulletin of symbolic logic
Publicat: (1995)

Learning language in logic
per: Cussens, James, 1965-

Logic : a brief course
per: Mundici, Daniele, 1946-

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14 18, 1990 : Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11 16, 1991 : proceedings
per: Voronkov, Andrei, 1959-

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Computer science logic : 18th International Workshop, CSL 2004 : 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings

Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

Computer science logic : 16th international workshop, CSL 2002 : 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Annals of pure and applied logic

Foundations of inductive logic programming
per: Nienhuys-Cheng, Shan-Hwei, 1943-, et al.

Notes on logic
per: Lyndon, Roger Conant, 1917-1988
Publicat: (1966)

Termination proofs for logic programs
per: Plümer, Lutz, 1951-

Foundations of equational logic programming
per: Hölldobler, Steffen, 1957-

Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
per: Eijck, Jan van, informaticien

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Algebraic and logic programming : third international conference, Volterra, Italy, September 2 4, 1992 : proceedings

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4 7, 1990 : proceedings
per: Dix, Jürgen, 1961-

Logics in artificial intelligence : [4th] European Workshop JELIA '94, York, UK, September 5 8, 1994 : proceedings
per: MacNish, Craig, 19..-

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
per: Mycielski, Jan, 1932-2025

Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9 10, 1990 : proceedings
per: Pearce, David William, 1941-...., professeur d'économie

Computational logic - CL 2000 : First International Conference, London, UK, July 24 28, 2000 : proceedings

Nonmonotonic logics : basic concepts, results, and techniques
per: Schlechta, Karl, 1948-

Non-standard inferences in description logics
per: Küsters, Ralf, 1972-...., informaticien

Logics of programs : Brooklyn, June 17 19, 1985 : proceedings

Modal logics
per: Feys, Robert, 1889-1961
Publicat: (1965)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales