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.

13796 Publications


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
 

1994 | Conference Paper | LibreCat-ID: 11878
Ney H, Steinbeiss V, Aubert XL, Haeb-Umbach R. Progress in Large-Vocabulary, Continuous Speech Recognition. In: Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich. ; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13014
Hellebrand S, Wunderlich H-J. An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures. In: {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}. San Jose, CA, USA: {IEEE}; 1994:110-116. doi:10.1109/iccad.1994.629752
LibreCat | DOI
 

1994 | Misc | LibreCat-ID: 13083
Venkataraman S, Rajski J, Hellebrand S, Tarnick S. Effiziente Testsatzkodierung Für Prüfpfad-Basierte Selbsttestarchitekturen. 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands; 1994.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed