Вы здесь

Perrier G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Foundations of Proof Search Strategies Dessign in Linear logic 1994 Galmiche D., Perrier G. Lecture Notes in Computer Science 27.07.1994
СТ Automated Deduction in Additive and Multiplicative Linear Logic 1992 Galmiche D., Perrier G. Lecture Notes in Computer Science 05.08.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Logical Aspects of Computational Linguistics: Proc./Second Intern. Conf., LACL 97. Nancy, France, September 1997 1999 Lecture Notes in Artificial Intelligence
  1. Lecomte A.
  2. Lamarche F.
  3. Perrier G.
21.04.1999