Your search returned 5 results.

Not what you expected? Check for suggestions
1.
Mathematical Knowledge Management [electronic resource] : Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings / edited by Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec.

by Asperti, Andrea [editor.] | Bancerek, Grzegorz [editor.] | Trybulec, Andrzej [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :

2.
Electronic Information and Communication in Mathematics [electronic resource] : ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002. Revised Papers / edited by Fengshan Bai, Bernd Wegner.

by Bai, Fengshan [editor.] | Wegner, Bernd [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :

3.
Mathematical Knowledge Management [electronic resource] : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers / edited by Michael Kohlhase.

by Kohlhase, Michael [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :

4.
Mathematical Knowledge Management [electronic resource] : 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings / edited by Jonathan M. Borwein, William M. Farmer.

by Borwein, Jonathan M [editor.] | Farmer, William M [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :

5.
Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger.

by Kauers, Manuel [editor.] | Kerber, Manfred [editor.] | Miner, Robert [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha