Obiekt
Brak tytułu
Kolekcje, do których przypisany jest obiekt:
Data ostatniej modyfikacji:
22 kwi 2013
Data dodania obiektu:
8 kwi 2013
Liczba wyświetleń treści obiektu:
146
Liczba wyświetleń treści obiektu w formacie PDF
151
Wszystkie dostępne wersje tego obiektu:
https://pbc.biaman.pl/publication/25100
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
-
Formalized Mathematics (a computer assisted approach)
- 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
| Nazwa wydania | Data |
|---|---|
| 2008, Formalized Mathematics 2008 nr 4 | 22 kwi 2013 |
