Computer science logic 5th

Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science)

Bruynooghe, Maurice [Editor]; Penjam, Jaan [Editor];

Langue : anglais

Edité par Springer, 1993

3540571868 / 9783540571865

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Assez bon

EUR 4,44

EUR 6,03 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in nice condition with the usual markings and attachments.

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 Proceedings (Lecture Notes in Computer Science 626)

Borger, E.; Jager, G.; Kleine Buning, H. & Richter, M. M. (eds.)

Langue : anglais

Edité par Springer-Verlag, Berlin, 1992

038755789X / 9780387557892

Couverture souple

Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-UniPsychoBabel & Skoob Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Assez bon

EUR 8,08

EUR 14,62 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. No Dust Jacket. Lecture Notes in Computer Science 626; Ex-Library. Previous owner's sticker and mild crease across front cover. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with…

Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 Proceedings (Lecture Notes in Computer Science 714)

Bruynooghe, Maurice; Penjam (eds.)

Langue : anglais

Edité par Springer-Verlag, Berlin, 1993

0387571868 / 9780387571867

Couverture souple

Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-UniPsychoBabel & Skoob Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Assez bon

EUR 8,08

EUR 14,62 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. No Dust Jacket. Lecture Notes in Computer Science 714; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, cl…

Computer Science Logic. 5th Workshop, CSL 91 Berne. Proceedings.

Börger, E. et als. (eds.)

Langue : anglais

Edité par Springer Berlin, 1992

354055789X / 9783540557890

Couverture souple

Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, AllemagneAntiquariat Thomas Haker GmbH & Co. KG

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Membre d’une association professionnelle : GIAQ

Etat: Occasion - Assez bon

EUR 8,30

EUR 20,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Gut. 427 S. Guter Zustand/ Good Ex-Library. Stamped edges. Sprache: Englisch Gewicht in Gramm: 811 Paperback/ broschiert broschiert/ Taschenbuch.

Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings (Lecture Notes in Computer Science)

Hanus, Michael [Editor]; Rodriguez-Artalejo, Mario [Editor];

Langue : anglais

Edité par Springer, 1996

3540617353 / 9783540617358

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Assez bon

EUR 28,97

EUR 6,03 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Computational Logic and Proof Theory: 5th Kurt GÃ¶del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)

Langue : anglais

Edité par Springer, 1997

3540633855 / 9783540633853

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Satisfaisant

EUR 38,88

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped w…

Logic Programming '86: Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 (Lecture Notes in Computer Science, 264)

Langue : anglais

Edité par Springer, 1987

3540180249 / 9783540180241

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Satisfaisant

EUR 38,88

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped w…

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science, 822)

Langue : anglais

Edité par Springer, 1994

3540582169 / 9783540582168

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Satisfaisant

EUR 38,88

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped w…

Field-Programmable Logic and Applications: 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings (Lecture Notes in Computer Science)

Moore, Will & Luk, Wayne - Eds.

Langue : anglais

Edité par Springer, U.S.A., 1995

3540602941 / 9783540602941

Couverture souple

Vendeur : Feldman's Books, Menlo Park, CA, Etats-UnisFeldman's Books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Occasion - Bon

EUR 35,57

EUR 3,88 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paper Bound. Etat : Near Fine. First Edition.

Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 3487)

Langue : anglais

Edité par Springer, 2005

354028060X / 9783540280606

Couverture souple

Vendeur : HPB-Red, Dallas, TX, Etats-UnisHPB-Red

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Satisfaisant

EUR 42,91

EUR 3,24 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer Science)

Kuchen, Herbert [Editor]; Ueda, Kazunori [Editor];

Langue : anglais

Edité par Springer, 2001

3540417397 / 9783540417392

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Assez bon

EUR 45,22

EUR 6,03 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer . Notes in Computer Science (2024)).

Kuchen, Herbert:

Langue : anglais

Edité par Springer, 2001

3540417397 / 9783540417392

Couverture souple

Vendeur : Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, AllemagneWissenschaftl. Antiquariat Th. Haker e.K

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Très bon

EUR 14,90

EUR 35,85 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Sehr gut. 408 p. In very good condition. ISBN: 9783540417392 Sprache: Englisch Gewicht in Gramm: 585 15,5 x 2,3 x 23,6 cm, softcover.

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2014

3319089692 / 9783319089690

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 60,47

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626)

Langue : anglais

Edité par Springer, 1992

354055789X / 9783540557890

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 60,47

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science, 822)

Langue : anglais

Edité par Springer, 1994

3540582169 / 9783540582168

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 60,47

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Logic and Its Applications: 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings (Theoretical Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2013

3642360386 / 9783642360381

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 55,04

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2024

3031517768 / 9783031517761

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 70,25

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2014

3319089692 / 9783319089690

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,21

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings (Lecture Notes in Computer Science, 1730)

Langue : anglais

Edité par Springer, 1999

3540667490 / 9783540667490

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,21

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science, 1050)

Langue : anglais

Edité par Springer, 1996

3540609830 / 9783540609834

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,21

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 3487)

Langue : anglais

Edité par Springer, 2005

354028060X / 9783540280606

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,21

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science, 714)

Langue : anglais

Edité par Springer, 1993

3540571868 / 9783540571865

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,21

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626)

Langue : anglais

Edité par Springer, 1992

354055789X / 9783540557890

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,21

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science, 822)

Langue : anglais

Edité par Springer, 1994

3540582169 / 9783540582168

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,21

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2024

3031517768 / 9783031517761

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,21

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer Science, 2024)

Langue : anglais

Edité par Springer, 2001

3540417397 / 9783540417392

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,21

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)

Langue : anglais

Edité par Springer, 1997

3540633855 / 9783540633853

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,21

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings (Lecture Notes in Computer Science, 1139)

Langue : anglais

Edité par Springer, 1996

3540617353 / 9783540617358

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,21

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Field-Programmable Logic and Applications: 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings (Lecture Notes in Computer Science, 975)

Langue : anglais

Edité par Springer, 1995

3540602941 / 9783540602941

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,21

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings (Lecture Notes in Computer Science, 1048)

Langue : anglais

Edité par Springer, 1996

3540609393 / 9783540609391

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 61,21

EUR 14,01 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Computer science logic 5th (60 résultats)

Affiner la recherche

Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science)

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 Proceedings (Lecture Notes in Computer Science 626)

Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 Proceedings (Lecture Notes in Computer Science 714)

Computer Science Logic. 5th Workshop, CSL 91 Berne. Proceedings.

Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings (Lecture Notes in Computer Science)

Computational Logic and Proof Theory: 5th Kurt GÃ¶del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)

Logic Programming '86: Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 (Lecture Notes in Computer Science, 264)

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science, 822)

Field-Programmable Logic and Applications: 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings (Lecture Notes in Computer Science)

Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 3487)

Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer Science)

Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer . Notes in Computer Science (2024)).

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Computer Science and General Issues)

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626)

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science, 822)

Logic and Its Applications: 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings (Theoretical Computer Science and General Issues)

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers (Lecture Notes in Computer Science)

Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Computer Science and General Issues)

Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings (Lecture Notes in Computer Science, 1730)

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science, 1050)

Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 3487)

Programming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings (Lecture Notes in Computer Science, 714)

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626)

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science, 822)

Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers (Lecture Notes in Computer Science)

Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer Science, 2024)

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)

Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings (Lecture Notes in Computer Science, 1139)

Field-Programmable Logic and Applications: 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings (Lecture Notes in Computer Science, 975)

Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings (Lecture Notes in Computer Science, 1048)