Вы здесь

Главная

теория

Связанные издания:

Learning Picture Sets from Examples
Learning Theory: Proc./17th Annual Conference on Learning Theory, COLT 2004. Banff, Canada, July 2004
Le "boum" du flou au Japon
Linking Theories of Concurrency
Liveness and Home States in Equal Conflict Systems
Liveness of Weighted Circuits and the Diophantine Problem of Frobenius
Location Problems on Undirected Flow Networks
Logic and Computational Complexity: Selected Papers/ International Workshop LCC 94. Indianapolis, IN, USA, October 1994
Logic, Language and Computation: Festschrift in Honor of Satoru Takasu
Logic Programming in Action: Proc./Second Intern. Logic Programming Summer School, LPSS 92. Zurich, Switzerland, September 7-11, 1992
Logic Programming: Proc./Eighth Intern. Conf.
Logics for Concurrency: Structure versus Automata
LP-функции как средство представления знаний
LSD: Logical Systems Development
Machine-Independent Complexity Theory
Machine Learning: From Theory to Applications. Cooperative Research at Siemens and MIT
Map Theory
Mathematical Foundations of Computer Science 1975: Proc./4th Symp., Marianske Lazne, September 1975
Mathematical Foundations of Computer Science 1993: Proc./18th Intern. Symp., MFCS 93. Gdansk, Poland, August-September 1993
Mathematical Foundations of Computer Science 1994: Proc./19th Intern. Symp., MFCS 94. Kosice, Slovakia, August 1994
Mathematical Foundations of Computer Science 1995: Proc./ 20th International Symposium, MFCS 95. Prague, Czech Republic, August/September 1995
Mathematical Foundations of Computer Science 2001: Proc./26th Intern. Symp., MFCS 2001, Marianske Lazne, Czech Republic, August 2001
Mathematical Foundations of Computer Science 2002: Proc./27th Intern. Symp., MFCS 2002, Warsaw, Poland, August 2002
Mathematical Foundations of Computer Science 2003: Proc./28th Intern. Symp., MFCS 2003, Bratislava, Slovakia, August 2003
Mathematical Foundations of Computer Science 2004: Proc./29th International Symposium, MFCS 2004. Prague, Czech Republic, August 2004
Mathematical Foundations of Programming Semantics: Proc./9th Intern. Conf. New Orleans, LA, USA, April 1993
Mathematics and Computation in Music: Proc./5th International Conference, MCM 2015, London, UK, June 2015
Mathematics of Program Construction: Proc./6th Intern. Conf., MPC 2002, Dagstuhl Castle, Germany, July 2002
Mechanisms for User-Invoked Retraction of Events in Time Warp
Metafinite Model Theory
Methods of Theoretical and Experimental Computer Science
MFDBS 91: Proc./3rd Symp. Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 1991
Model Building and Interactive Theory Discovery
Models of LCF
Models Whose Checks Don t Explode
Monadic Logical Definability of NP-Complele Problems
Monadic Logical Definability of NP-Complete Problems
Monadic NP and Built-in Trees
Monadic Presentations of Lambda Terms Using Generalized Inductive Types
More Problems in Rewriting
MSL - A Mathematical Specification Language
Multi Agent Coordinated Decision-Making Using Epistemic Utility Theory
Multiple Classifier Systems: Proc./12th International Workshop, MCS 2015, Gunzburg, Germany, June 2015
Multi-Relations in Z: A cross between multi-sets and binary relations
Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View
My Favorite Ten Complexity Theorems of the Past Decade
Natural Deduction Proof Theory for Logic Programming
Nearest Neighbour Graph Realizability is NP-hard
Neural Nets. A Theory for Brains and Machines
New Challenges for Theoretical Computer Science