Svyatoslav Sergeevich Lavrov

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2001

3 Svyatoslav Sergeevich Lavrov: On Algorithmic Unsolvability. Ershov Memorial Conference 2001: 25-32

2 Svyatoslav Sergeevich Lavrov: On the Relationship between Foundations of Programming and Mathematics. Programming and Computer Software 27(6): 289-296 (2001)

1986

1 Svyatoslav Sergeevich Lavrov: Problem solving based on knowledge representation and program synthesis. Acta Cybern. 7(4): 437-441 (1986)

	2001
3		Svyatoslav Sergeevich Lavrov: On Algorithmic Unsolvability. Ershov Memorial Conference 2001: 25-32
2		Svyatoslav Sergeevich Lavrov: On the Relationship between Foundations of Programming and Mathematics. Programming and Computer Software 27(6): 289-296 (2001)
	1986
1		Svyatoslav Sergeevich Lavrov: Problem solving based on knowledge representation and program synthesis. Acta Cybern. 7(4): 437-441 (1986)

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page