|
СТ |
Applications of JAVA Programming Language to Database Management |
1998 |
Burton B. F., Marek V. W. |
|
|
|
SIGMOD Record |
03.08.1998 |
|
СТ |
On Logical Constraints in Logic Programming |
1995 |
Marek V. W., Nerode A., Remmel J. B. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.07.1995 |
|
СТ |
Revision Programming, Database Updates and Integrity Constraints |
1995 |
Marek V. W., Truszczynski M. |
|
|
|
Lecture Notes in Computer Science |
21.02.1995 |
|
СТ |
The Stable Models of a Predicate Logic Program |
1992 |
Marek V. W., Nerode A., Remmel J. B. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Revision Specifications by Means of Program |
1994 |
Marek V. W., Truszczynski M. |
|
|
|
Lecture Notes in Artificial Intelligence |
28.10.1994 |
|
СТ |
Modal Nonmonotonic Logics: Ranges, Characterization, Computation |
1993 |
Marek V. W., Schwarz G. F., Truszczynski M. |
|
|
|
J. of the ACM |
25.11.1993 |
