Veronica Dahl
发表
Ilkka Niemelä,
Veronica Dahl,
2007
.
Veronica Dahl,
Harvey Abramson,
1989
.
Veronica Dahl,
Harvey Abramson,
1989
.
Veronica Dahl,
Stephen Rochefort,
2000
.
Veronica Dahl,
1997,
ICLP 1997.
Philip Wadler,
Veronica Dahl,
2003
.
Veronica Dahl,
Tom Yeh,
Kimberly D. Voli,
2002
.
Veronica Dahl,
V. Dahl,
1993
.
Veronica Dahl,
P. Massicote,
1989
.
Luís Moniz Pereira,
Peter J. Stuckey,
Ulrich Furbach,
2000
.
Henning Christiansen,
Veronica Dahl,
V. Dahl,
2018,
Declarative Logic Programming.
Veronica Dahl,
Harvey Abramson,
1989
.
Veronica Dahl,
Patrick Saint-Dizier,
1988,
NLULP.
Veronica Dahl,
Harvey Abramson,
1989
.
Veronica Dahl,
Harvey Abramson,
1989
.
Veronica Dahl,
Patrick Saint-Dizier,
1985,
NLULP.
Veronica Dahl,
Stewart Andrew Fall,
V. Dahl,
1996
.
Veronica Dahl,
Andrew Fall,
M.-C. Thomas,
1995,
1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.
Veronica Dahl,
Harvey Abramson,
1989
.
Veronica Dahl,
1991
.
Veronica Dahl,
2018
.
Veronica Dahl,
V. Dahl,
1999,
The Logic Programming Paradigm.
Henning Christiansen,
Philippe Blache,
Jørgen Villadsen,
2014
.
Henning Christiansen,
Philippe Blache,
Jørgen Villadsen,
2011
.
Luís Moniz Pereira,
Peter J. Stuckey,
Ulrich Furbach,
2000,
Lecture Notes in Computer Science.
Patrick Saint-Dizier,
Veronica Dahl,
1985
.
Veronica Dahl,
Gabriel G. Bès,
Daniel E. Guillot,
2003
.
Veronica Dahl,
Patrick Saint-Dizier,
1985
.
Veronica Dahl,
Harvey Abramson,
1989
.
Veronica Dahl,
Harvey Abramson,
1990
.
Veronica Dahl,
Harvey Abramson,
1989
.
Paul Tarau,
Veronica Dahl,
1994
.
Veronica Dahl,
1987
.
Paul Tarau,
Veronica Dahl,
Stephen Rochefort,
1997
.
Henning Christiansen,
Philippe Blache,
Veronica Dahl,
2011
.
Gemma Bel-Enguix,
Veronica Dahl,
Diana Cukierman,
2010,
WCCCE.
Veronica Dahl,
Harvey Abramson,
1989
.
Philippe Blache,
Veronica Dahl,
V. Dahl,
2005
.
Veronica Dahl,
Greg Sidebottom,
Joerg Ueberla,
1993
.
Paul Tarau,
Veronica Dahl,
Stephen Rochefort,
1999
.
Oliver Schulte,
Veronica Dahl,
Sara Saghaei,
2016
.
Veronica Dahl,
Gabriel G. Bès,
2003
.
Veronica Dahl,
1999
.
José Gabriel Pereira Lopes,
Veronica Dahl,
Joo Balsa,
1997
.
Henning Christiansen,
Veronica Dahl,
V. Dahl,
2004,
WLPE.
Veronica Dahl,
Harvey Abramson,
1989
.
Philip Wadler,
Veronica Dahl,
2003
.
Philip Wadler,
Veronica Dahl,
P. Wadler,
2002,
Lecture Notes in Computer Science.
Henning Christiansen,
Philippe Blache,
Veronica Dahl,
2006
.
Paul Tarau,
Veronica Dahl,
Andrew Fall,
1997
.
Veronica Dahl,
Andrew Fall,
M.-C. Thomas,
1995,
1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.
Fred Popowich,
Michael Rochemont,
Veronica Dahl,
1993
.
Ilkka Niemelä,
Veronica Dahl,
2007,
ICLP.
Paul Tarau,
Veronica Dahl,
1996
.
Veronica Dahl,
Harvey Abramson,
1989
.
Andrea Formisano,
Gian Luca Pozzato,
Neng-Fa Zhou,
2021,
Electronic Proceedings in Theoretical Computer Science.
Andrea Formisano,
Gian Luca Pozzato,
Neng-Fa Zhou,
2021,
Electronic Proceedings in Theoretical Computer Science.
Paul Tarau,
Veronica Dahl,
Paul Tarau,
1998
.
Patrick Saint-Dizier,
Veronica Dahl,
1988
.
Veronica Dahl,
1991
.
Paul Tarau,
Veronica Dahl,
Andrew Fall,
1995
.