GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 11:42:49 -06:00
Code Issues Packages Projects Releases Wiki Activity

fixed some bib entries

Browse Source
This commit is contained in:
aarne
2006-12-12 16:20:27 +00:00
parent 491ea9c89e
commit d0e784e699
1 changed files with 13 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
doc/gf-bib.bib
View File

@@ -24,7 +24,7 @@
AUTHOR = {M. Wenzel}, AUTHOR = {M. Wenzel},
TITLE = {{Isar - a Generic Interpretative Approach to Readable Formal Proof Documents}}, TITLE = {{Isar - a Generic Interpretative Approach to Readable Formal Proof Documents}},
BOOKTITLE = {{Theorem Proving in Higher Order Logics, TPHOLs'99}}, BOOKTITLE = {{Theorem Proving in Higher Order Logics, TPHOLs'99}},
YEAR = {2004}, YEAR = {1999},
series = lncs, series = lncs,
volume = {1690}, volume = {1690},
EDITOR = {Y. Bertot and G. Dowek and A. Hirschowitz and C. Paulin and L. Th\'{e}ry} EDITOR = {Y. Bertot and G. Dowek and A. Hirschowitz and C. Paulin and L. Th\'{e}ry}
@@ -33,7 +33,6 @@
@INPROCEEDINGS{pollard-hog, @INPROCEEDINGS{pollard-hog,
AUTHOR = {C. Pollard}, AUTHOR = {C. Pollard},
TITLE = {{Higher-Order Categorial Grammar}}, TITLE = {{Higher-Order Categorial Grammar}},
{I}nterface},
BOOKTITLE = {{Proceedings of the BOOKTITLE = {{Proceedings of the
Conference on Categorial Grammars (CG2004), Montpellier, France}}, Conference on Categorial Grammars (CG2004), Montpellier, France}},
PAGES = {340--361}, PAGES = {340--361},
@@ -149,21 +148,26 @@
@inproceedings{eldada, @inproceedings{eldada,
title = {{Implementing an Open Source Arabic Resource Grammar in GF}}, title = {{Implementing an Open Source Arabic Resource Grammar in GF}},
author = {{A. El Dada and A. Ranta}}, author = {A. El Dada and A. Ranta},
booktitle = {{20th Arabic Linguistics Symposium. Western Michigan University March 3-5 2006}} booktitle = {{20th Arabic Linguistics Symposium. Western Michigan University March 3-5 2006}},
year = {2006}
} }
@inproceedings{nganga-africa, @inproceedings{nganga-africa,
title = {{Multilingual content development for eLearning in Africa}}, title = {{Multilingual content development for eLearning in Africa}},
author = {{W. Ng'ang'a}}, author = {W. Ng'ang'a},
booktitle = {{1st Pan-African Conference on ICT for Development, Education and Training. booktitle = {{1st Pan-African Conference on ICT for Development, Education and Training.
24-26 May 2006, Addis Ababa, Ethiopia}} 24-26 May 2006, Addis Ababa, Ethiopia}},
year = {2006}
} }
@inproceedings{caprotti, @inproceedings{caprotti,
title = {{WebALT! Deliver Mathematics Everywhere}}, title = {{WebALT! Deliver Mathematics Everywhere}},
author = {{O. Caprotti}}, author = {O. Caprotti},
booktitle = {{Proceedings of SITE 2006. Orlando March 20-24, 2006}} booktitle = {{Proceedings of SITE 2006. Orlando March 20-24}},
year = {2006}
} }
@@ -1374,7 +1378,7 @@
} }
@Misc{Mizar-homepage, @Misc{Mizar-homepage,
author = {}, author = {A. Trybulec},
title = {{The Mizar Homepage}}, title = {{The Mizar Homepage}},
howpublished = {\verb!http://mizar.org/!}, howpublished = {\verb!http://mizar.org/!},
documentURL = "http://mizar.org/", documentURL = "http://mizar.org/",