Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

14299 Publications


1994 | Report | LibreCat-ID: 8193
Ebert J, Engels G. Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
Krauter S, Hanitsch R, Campbell P, Wenham SR. Optical Modelling, Simulation and Improvement of PV Module Encapsulation. In: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201. ; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
Andries M, Engels G. Syntax and Semantics of Hybrid Database Languages. In: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany). Vol 776. LNCS. Berlin/Heidelberg: Springer; 1994:19-36. doi:http://dx.doi.org/10.1007/3-540-57787-4_2
LibreCat | DOI
 

1994 | Book Review | LibreCat-ID: 17774
Peckhaus V. Erik Heijerman/H. Walter Schmitz (eds.), Significs, Mathematics and Semiotics. The Signific Movement in the Netherlands. Proceedings of the International Conference Bonn 19–21 November 1986, Nodus Publicationen: Münster 1991 (= Materialien zur Geschichte der Sprachwissenschaft und der Semiotik; 5). Modern Logic. 1994;4:449-454.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17837
Peckhaus V. The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic [Abstract]. In: Abstract of Papers Presented to the American Mathematical Society. Vol 15, Nr. 5 (August 1994). ; 1994:447.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 17488
Peckhaus V. Hilbert’s Axiomatic Programme and Philosophy. In: Knobloch E, Rowe DE, eds. The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities. Boston u. a.: Academic Press; 1994:91-112.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 19415
Eke NO. Heiner Müller. In: Steinecke H, ed. Deutsche Dichter des 20. Jahrhunderts. Berlin: Erich Schmidt; 1994:726-741.
LibreCat
 

1994 | Dissertation | LibreCat-ID: 19624
Wanka R. Paralleles Sortieren Auf Mehrdimensionalen Gittern. Universität Paderborn; 1994.
LibreCat | Files available
 

1994 | Book | LibreCat-ID: 3333
Kleine Büning H, Lettmann T. Aussagenlogik - Deduktion und Algorithmen. Teubner; 1994. doi:10.1007/978-3-322-84809-3
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 11796
Haeb-Umbach R, Ney H. Improvements in beam search for 10000-word continuous-speech recognition. IEEE Transactions on Speech and Audio Processing. 1994.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: AMA

Export / Embed