Zbigniew Stachniak

发表

Zbigniew Stachniak, 2007, IEEE Annals of the History of Computing.
Zbigniew Stachniak, 2003, IEEE Ann. Hist. Comput..
Zbigniew Stachniak, 1996 .
Zbigniew Stachniak, 1991, ISMIS.
Zbigniew Stachniak, Z. Stachniak, 1991, J. Exp. Theor. Artif. Intell..
Zbigniew Stachniak, 1996, Automated reasoning series.
Zbigniew Stachniak, Z. Stachniak, 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.
Zbigniew Stachniak, 1996 .
Zbigniew Stachniak, 1996, Automated Reasoning Series.
Zbigniew Stachniak, David Walden, Z. Stachniak, 2019, IEEE Annals of the History of Computing.
Zbigniew Stachniak, David Walden, 2020, IEEE Annals of the History of Computing.
Zbigniew Stachniak, 1988, J. Philos. Log..
Zbigniew Stachniak, Z. Stachniak, 1998, Stud Logica.
Zbigniew Stachniak, Matti Järvisalo, Anton Belov, 2011, IJCAI.
Zbigniew Stachniak, E. R. Harley, Z. Stachniak, 1993, [1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic.
Zbigniew Stachniak, Z. Stachniak, 1995, J. Log. Lang. Inf..
Zbigniew Stachniak, Anton Belov, 2008, J. Exp. Theor. Artif. Intell..
Zbigniew Stachniak, 2017, IEEE Annals of the History of Computing.
Zbigniew Stachniak, Z. Stachniak, 1993, AAAI.
Zbigniew Stachniak, 2011 .
Zbigniew Stachniak, Z. Stachniak, 1992, Inf. Comput..
Zbigniew Stachniak, 2001, Fundam. Informaticae.
Zbigniew Stachniak, 1996 .
Zbigniew Stachniak, Z. Stachniak, 1990, ISSAC '90.
Zbigniew Stachniak, 2010, IEEE Annals of the History of Computing.
Zbigniew Stachniak, 1993, Stud Logica.
Zbigniew Stachniak, Z. Stachniak, 1991, JELIA.
Zbigniew Stachniak, 2013, IEEE Annals of the History of Computing.
Zbigniew Stachniak, 2014, IEEE Annals of the History of Computing.
Zbigniew Stachniak, Z. Stachniak, 1994, Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94).
Peter W. O'Hearn, Zbigniew Stachniak, 1992, J. Symb. Comput..
Zbigniew Stachniak, 1991, Fundam. Informaticae.
Zbigniew Stachniak, Anton Belov, 2010, SAT.
Zbigniew Stachniak, 2015, IEEE Annals of the History of Computing.
Zbigniew Stachniak, 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.
Zbigniew Stachniak, 1999, AAAI/IAAI.
Zbigniew Stachniak, 1989, J. Philos. Log..
Zbigniew Stachniak, 1996 .
Zbigniew Stachniak, 1988, Algebraic Logic and Universal Algebra in Computer Science.
Zbigniew Stachniak, 1985, Math. Log. Q..
Zbigniew Stachniak, Z. Stachniak, J. Srzednicki, 1998 .
Zbigniew Stachniak, Jan T. J. Srzednicki, 1988 .