Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Publikacje

Andrzej Szałas

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2004

2003

2002

2001

  • Stella Orłowska i Andrzej Szałas (red.), Relational Methods for Computer Science Applications, Springer Physica Verlag, 2001.zobacz w PBN
  • J. Kachniarz i Andrzej Szałas, On a Static Verification of Integrity Constraints in Relational Databases, w: Relational Methods for Computer Science Applications, Springer Physica Verlag, 2001.zobacz w PBN
  • Patrick Doherty, Witold Łukaszewicz i Andrzej Szałas, Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas, w: Proceedings of Seventeenth International Joint Conference on Artificial Intelligence, 2001, s. 145–154.zobacz w PBN

2000

1999

1998

1997

1996

1995

  • Patrick Doherty, Witold Łukaszewicz i Andrzej Szałas, Computing Circumscription Revisited: Preliminary Report, w: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, 1995, s. 1502–1508.zobacz w PBN
  • Leonard Bolc i Andrzej Szałas (red.), Time and Logic. A Computational Approach, UCL Press Ltd., London 1995.zobacz w PBN
  • Andrzej Szałas, Temporal Logic: A Standard Approach, w: Time and Logic. A Computational Approach, UCL Press Ltd., London 1995, s. 1–50.zobacz w PBN
  • Leonard Bolc, Krzysztof Dziewicki, Piotr Rychlik i Andrzej Szałas, Wnioskowanie w logikach nieklasycznych. Podstawy teoretyczne, 1995.zobacz w PBN

1994

1992

1989

1987

1986

1985

1984

1981