Object
Title: Formalized Mathematics 1990 nr 2
Date:
Contributor:
Uwagi:
From 1996 r. published by University of Bialystok ; From 1990 to 1993 published by Universite Catholique de Louvain, Belgia
Format:
Language:
Rights Management:
Resource Identifier:
Publisher:
Place of publishing:
Localization:
Biblioteka Uniwersytecka im. Jerzego Giedroycia w Białymstoku
Object collections:
Last modified:
Apr 22, 2013
In our library since:
Apr 8, 2013
Number of object content hits:
779
Number of object content views in PDF format
751
All available object's versions:
https://www.pbc.biaman.pl/publication/25140
Show description in RDF format:
Show description in OAI-PMH format:
-
Formalized Mathematics
- Formalized Mathematics 1990 nr 1
- Formalized Mathematics 1990 nr 2
- Formalized Mathematics 1990 nr 3
- Formalized Mathematics 1990 nr 4
- Formalized Mathematics 1990 nr 5
- Formalized Mathematics 1991 nr 1
- Formalized Mathematics 1991 nr 2
- Formalized Mathematics 1991 nr 3
- Formalized Mathematics 1991 nr 4
- Formalized Mathematics 1991 nr 5
- Formalized Mathematics 1992 nr 1
- Formalized Mathematics 1992 nr 2
- Formalized Mathematics 1993 nr 1
- Formalized Mathematics 1996 nr 1
- Formalized Mathematics 1996 nr 2
- Formalized Mathematics 1996 nr 3
- Formalized Mathematics 1996 nr 4
- Formalized Mathematics 1997 nr 1
- Formalized Mathematics 1997 nr 2
- Formalized Mathematics 1997 nr 3
- Formalized Mathematics 1997 nr 4
- Formalized Mathematics 1998 nr 1
- Formalized Mathematics 1998 nr 2
- Formalized Mathematics 1999 nr 1
- Formalized Mathematics 2001 nr 1
- Formalized Mathematics 2001 nr 2
- Formalized Mathematics 2001 nr 3
- Formalized Mathematics 2001 nr 4
- Formalized Mathematics 2002 nr 1
- Formalized Mathematics 2002 nr 2
- Formalized Mathematics 2002 nr 3
- Formalized Mathematics 2003 nr 1
- Formalized Mathematics 2003 nr 2
- Formalized Mathematics 2003 nr 3
- Formalized Mathematics 2003 nr 4
- Formalized Mathematics 2004 nr 1
- Formalized Mathematics 2004 nr 2
- Formalized Mathematics 2004 nr 3
- Formalized Mathematics 2005 nr 1
- Formalized Mathematics 2005 nr 2
- Formalized Mathematics 2005 nr 3
- Formalized Mathematics 2005 nr 4
- Formalized Mathematics 2006 nr 1
- Formalized Mathematics 2006 nr 2
- Formalized Mathematics 2006 nr 3
- Formalized Mathematics 2006 nr 4
- Formalized Mathematics 2007 nr 1
- Formalized Mathematics 2007 nr 2
- Formalized Mathematics 2007 nr 3
- Formalized Mathematics 2007 nr 4
- Formalized Mathematics 2008 nr 1
- Formalized Mathematics 2008 nr 2
- Formalized Mathematics 2008 nr 3
- Formalized Mathematics 2008 nr 4
- Formalized Mathematics 2009 nr 1
- Formalized Mathematics 2009 nr 2
- Formalized Mathematics 2009 nr 3
- Formalized Mathematics 2009 nr 4
- Formalized Mathematics 2010 nr 1
- Formalized Mathematics 2010 nr 2
- Formalized Mathematics 2010 nr 3
- Formalized Mathematics 2010 nr 4
- Formalized Mathematics 2011 nr 1
- Formalized Mathematics 2011 nr 2
- Formalized Mathematics 2011 nr 3
- Formalized Mathematics 2011 nr 4
- Formalized Mathematics 2012 nr 1
- Formalized Mathematics 2012 nr 2
- Formalized Mathematics 2012 nr 3
- Formalized Mathematics 2012 nr 4
- Formalized Mathematics 2013 nr 1
- Formalized Mathematics 2013 nr 2
- Formalized Mathematics 2013 nr 3
- Formalized Mathematics 2013 nr 4
| Edition name | Date |
|---|---|
| 1990, Formalized Mathematics 1990 nr 2 | Apr 22, 2013 |
