Nie jesteś zalogowany | Zaloguj się

Instytut Informatyki

Liczba publikacji: 2116

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

  • Patrick Doherty, Andrzej Szałas , Witold Łukaszewicz, Computing Circumscription Revisited: Preliminary Report, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, 1995. Zobacz w PBN
  • Andrzej Szałas , Temporal Logic: A Standard Approach, Time and Logic. A Computational Approach, 1995. Zobacz w PBN
  • Leonard Bolc, Andrzej Szałas , Time and Logic. A Computational Approach, 1995. Zobacz w PBN
  • Leonard Bolc, Krzysztof Dziewicki, Piotr Rychlik, Andrzej Szałas , Wnioskowanie w logikach nieklasycznych. Podstawy teoretyczne, 1995. Zobacz w PBN

1994

1993

1992

1991

1989

1988

1987

1986

1985

1984

1981