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

QR Code (код быстрого отклика)

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

Сохранить в:

Библиографические подробности
Корпоративные авторы:	Workshop on Computer Science Logic Paris, France), European Association for Computer Science Logic. Conference
Другие авторы:	Fribourg, Laurent, 1957-
Формат:	Sách giấy
Опубликовано:	Berlin : New York : Springer, 2001.
Серии:	Lecture notes in computer science, 2142
Предметы:	Computer logic > Congresses.
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Схожие документы

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Опубликовано: (2001)

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Опубликовано: (2001)

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Опубликовано: (2001)

Parallel computing technologies : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings /
Опубликовано: (2001)

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings /
Опубликовано: (2001)

Intelligent virtual agents : third international workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 : proceedings /
Опубликовано: (2001)

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Опубликовано: (2001)

Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings /
Опубликовано: (2001)

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings /
Опубликовано: (2001)

Mathematical logic for computer science.
по: Lu Zhungwan
Опубликовано: (1989)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Опубликовано: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Опубликовано: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Опубликовано: (2001)

Computer analysis of images and patterns : 9th international conference, CAIP 2001, Warsaw, Poland, September 5-7, 2001 : proceedings /
Опубликовано: (2001)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
по: Banerjee, Mohua, et al.
Опубликовано: (2015)

Engineering of intelligent systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001 : proceedings /
Опубликовано: (2001)

Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings /
Опубликовано: (2001)

Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
Опубликовано: (2001)

Advances in computing science--ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings /
Опубликовано: (1999)

Advances in computing science--ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings /
Опубликовано: (1999)

Integer programming and combinatorial optimization : 8th International IPCO Conference, Utrecht, the Netherlands, June 13-15, 2001 : proceedings /
Опубликовано: (2001)

Logic, Language, and Computation
по: Bezhanishvili, G, et al.
Опубликовано: (2015)

STACS 2001 : 18th annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings /
Опубликовано: (2001)

Technologies for E-Services : second international workshop, TES 2001, Rome, Italy, September 14-15, 2001 : proceedings /
Опубликовано: (2001)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Опубликовано: (2001)

Logical Foundations of Computer Science
по: Artemov, Sergei, et al.
Опубликовано: (2020)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Опубликовано: (2001)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
по: Baixeries, Jaume, et al.
Опубликовано: (2015)

Natural language processing and information systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 2000 : revised papers /
Опубликовано: (2001)

Combinatorial pattern matching : 12th Annual Symposium, CPM 2001, Jerusalem, Israel, Junly 1-4, 2001 : proceedings /
Опубликовано: (2001)

Approximation, randomization, and combinatorial optimization : algorithms and techniques : 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001, Berkeley, CA, USA, August 2001, proceedings /
Опубликовано: (2001)

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Опубликовано: (2001)

Vector and parallel processing--VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks /
Опубликовано: (2001)

Condensed matter nuclear science : proceedings of the 10th International Conference on Cold Fusion : Royal Sonesta Hotel, Cambridge, Massachusetts, USA, 25-29 August 2003 /
Опубликовано: (2006)

Proceedings of the 4th International Conference on Separations Science and Technology :
Опубликовано: (2004)

Logical Foundations of Computer Science. 1st ed. 2018
по: Artemov, Sergei, et al.
Опубликовано: (2020)

Advances in learning classifier systems : third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers /
Опубликовано: (2001)

Mathematical logic for computer science /
по: Lu, Zhongwan.
Опубликовано: (1989)

Mathematical logic for computer science /
по: Lu, Zhongwan.
Опубликовано: (1989)

Deontic Logic in Computer Science
по: Meyden, Ron van der, et al.
Опубликовано: (2020)