Temat: Języki formalne. - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji 1.

Tytuł pełny:: On language families generated by commutative languages / Juha Kortelainen
Wydawca:: Helsinki : Suomalainen Tiedeakatemia
Rok wydania:: 1982
Seria:: Annales Academiae Scientiarum Fennicae. Series A. 1, Mathematica. Dissertationes, 0355-0087 ; 44
Temat:: Języki formalne - rozprawy akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Methods of algorithmic language implementation / ed. by A. Ershov and C. H. A. Koster
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1977
Seria:: Lecture Notes in Computer Science ; 47
Temat:: Języki formalne - konferencje.
Języki programowania - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center Madrid, April 23-25, 1975 / ed. by R. Aguilar
Wydawca:: Amsterdam : North-Holland Publishing Co. ; New York : American Elsevier Publishing Company, Inc.
Rok wydania:: 1976
Temat:: Języki formalne - konferencje.
Komputery - programowanie - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Teoria języków formalnych a modelowanie systemów dynamicznych : przyczynek do formalnego ujęcia modelowania : praca habilitacyjna / Andrzej Baborski
Wydawca:: Wrocław : Wydawnictwo Uczelniane Akademii Ekonomicznej
Rok wydania:: 1979
Seria:: Prace Naukowe Akademii Ekonomicznej im. Oskara Langego we Wrocławiu ; z. 157 (179)
Temat:: Języki formalne - zastosowania naukowe - rozprawy akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Mathematical foundations of computer science 1976 : proceedings, 5th Symposium, Gdańsk, september 6-10, 1976 / edited by A. Mazurkiewicz
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1976
Seria:: Lecture Notes in Computer Science 0302-9743 45
Temat:: Języki formalne - konferencje.
Teoria automatów - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1975
Seria:: Lecture Notes in Computer Science ; 33
Temat:: Teoria automatów - konferencje.
Języki formalne - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979 / ed. by K. Weihrauch
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1979
Seria:: Lecture Notes in Computer Science ; 67
Temat:: Języki formalne - konferencje.
Teoria automatów - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Theoretical computer science : 3rd GI Conference Darmstadt, March 28-30, 1977 / ed. by H. Tzschach, H. Waldschmidt, H. K.-G. Walter on behalf of the GI
Wydawca:: Berlin ; Heidelberg ; New York : Springer-Verlag
Rok wydania:: 1977
Seria:: Lecture Notes in Computer Science ; ; 48
Temat:: Języki formalne - konferencje.
Teoria automatów - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: GI-Gessellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973 / hrsg. im Auftrag der Gesellschaft für Informatik von Karl-Heinz Böhling und Klaus Indermark
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1973
Seria:: Lecture Notes in Computer Science ; 2
Temat:: Języki formalne - konferencje.
Automaty - konferencje.
Teoria automatów - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Computer oriented learning processes / edited by J. C. Simon
Wydawca:: Leyden : Noordhoff
Rok wydania:: 1976
Seria:: NATO ASI Series. Series E, Applied Sciences ; no. 14
Temat:: Języki formalne - konferencje.
Sztuczna inteligencja - konferencje.
Automaty probabilistyczne - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Automata, languages and programming : 4th Colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1977
Seria:: Lecture Notes in Computer Science 0302-9743 52
Temat:: Komputery - programowanie - konferencje.
Języki formalne - konferencje.
Teoria automatów - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Symposium on semantics of algorithmic languages / ed. by E. Engeler
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1971
Seria:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 188
Temat:: Języki programowania - semantyka - konferencje.
Języki formalne - konferencje.
Algorytmy - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / ed. by A. Blikle
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: cop. 1975
Seria:: Lecture Notes in Computer Science ; 28
Temat:: Teoria automatów - konferencje.
Języki formalne - konferencje.
Programowanie matematyczne - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: Modal logic and process algebra : a bisimulation perspective / ed. by Alban Ponse, Maarten de Rijke, Yde Venema
Wydawca:: Stanford : Center for the Study of Language and Information
Rok wydania:: 1995
Seria:: CSLI Lecture Notes ; no. 53
Temat:: Języki formalne - konferencje.
Modalność (logika) - konferencje.
Przetwarzanie równoległe (informatyka) - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: Automata, languages, and programming : proceedings of a symposium organized by IRIA, Institut de Recherche d'Informatique et d'Automatique, 78-Rocquencourt, France, July 3-7, 1972 / ed. by M. Nivat
Wydawca:: Amsterdam ; London : North-Holland Publishing Company ; New York : American Elsevier
Rok wydania:: 1973
Temat:: Algorytmy - konferencje.
Języki formalne - konferencje.
Komputery - programowanie - konferencje.
Teoria automatów - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 / ed. by Jacques Loeckx
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1974
Seria:: Lecture Notes in Computer Science ; 14
Temat:: Algorytmy - konferencje.
Języki formalne - konferencje.
Komputery - programowanie - konferencje.
Teoria automatów - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Annales Societatis Mathematicae Polonae. Series 4, Fundamenta Informaticae
Wydawca:: Warszawa : Państ. Wydaw. Naukowe
Rok wydania:: 1977-1991
Temat:: Języki formalne - czasopisma.
Matematyka - czasopisma.
Sztuczna inteligencja - czasopisma.
Teoria automatów - czasopisma.

Czasopismo

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Fundamenta Informaticae / [Polish Mathematical Society]
Wydawca:: Amsterdam : IOS Press
Rok wydania:: 1992-
Temat:: Języki formalne - czasopisma.
Sztuczna inteligencja - czasopisma.
Teoria automatów - czasopisma.
Matematyka - czasopisma.

Czasopismo

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Introduction to formal language theory / Michael A. Harrison
Wydawca:: Reading [etc.] : Addison-Wesley Publ. Company
Rok wydania:: cop. 1978
Temat:: Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Introducere în teoria limbajelor formale / Virgil Emil Căzănescu
Wydawca:: Bucureşti : Editura Academiei Republicii Socialiste România
Rok wydania:: 1983
Temat:: Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Grammar and L forms : an introduction / Derick Wood
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1980
Seria:: Lecture Notes in Computer Science ; 91
Temat:: Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 22.

Tytuł pełny:: Algebraic and automata-theoretic properties of formal languages / Seymour Ginsburg
Wydawca:: Amsterdam ; Oxford : North-Holland Publishing Company ; New York : American Elsevier Publishing Company
Rok wydania:: cop. 1975
Seria:: Fundamental Studies in Computer Science ; vol. 2
Temat:: Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: Modely jazyka pro umělý život / Alice Kelemanová, Miroslav Langer
Wydawca:: Opava : Slezská univerzita v Opavě
Wydanie:: První vydání
Rok wydania:: 2021
Temat:: Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 24.

Tytuł pełny:: Introduction to formal languages / György E. Révész
Wydawca:: New York [etc.] : McGraw-Hill Book Company
Rok wydania:: 1983
Seria:: McGraw-Hill Computer Science Series
Temat:: Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 25.

Tytuł pełny:: Wprowadzenie do teorii automatów, języków i obliczeń / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; z jęz. ang. przeł. Beata Konikowska
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 2, 1 dodr
Rok wydania:: 2012
Seria:: Informatyka - Zastosowania
Temat:: Języki formalne - podręczniki akademickie.
Teoria automatów - podręczniki akademickie.
Złożoność obliczeniowa (informatyka) - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 26.

Tytuł pełny:: Wprowadzenie do teorii automatów, języków i obliczeń / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; z jęz. ang. przeł. Beata Konikowska
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 2
Rok wydania:: 2005
Seria:: Informatyka - Zastosowania
Temat:: Języki formalne - podręczniki akademickie.
Teoria automatów - podręczniki akademickie.
Złożoność obliczeniowa (informatyka) - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 27.

Tytuł pełny:: Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30 - November 3, 1978 / ed. by Volker Claus, Hartmut Ehrig and Grzegorz Rozenberg
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1979
Seria:: Lecture Notes in Computer Science ; 73
Temat:: Języki formalne - konferencje.
Teoria grafów - konferencje.
Struktury danych (informatyka) - konferencje.
Gramatyki grafowe - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 28.

Tytuł pełny:: Zbiór zadań z teorii języków formalnych i automatów / Maria Foryś, Adam Roman
Wydawca:: Kraków : Wydawnictwo Uniwersytetu Jagiellńskiego
Rok wydania:: 2011
Temat:: Automaty - zadania i ćwiczenia.
Języki formalne - zadania i ćwiczenia.
Teoria automatów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 29.

Tytuł pełny:: Formal'nye grammatiki i âzyki / A. V. Gladkij
Wydawca:: Moskva : Izdatel'stvo "Nauka". Glavnaâ Redakciâ Fiziko-Matematičeskoj Literatury
Rok wydania:: 1973
Temat:: Gramatyka tekstu.
Języki formalne - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 30.

Tytuł pełny:: Algebraic semantics / Irène Guessarian
Wydawca:: Berlin : Springer-Verlag
Rok wydania:: 1981
Seria:: Lecture Notes in Computer Science, 0302-9743 ; 99
Temat:: Języki formalne - semantyka.
Teoria informacji.

Książka

na półce

Szczegóły

Skocz do pozycji 31.

Tytuł pełny:: Computing meaning. T. 1 / ed. by Harry Bunt, Reinhard Muskens
Wydawca:: Dordrecht : Kluwer Academic Publishers
Rok wydania:: 2001
Seria:: Studies in Linguistics and Philosophy ; 73
Temat:: Języki formalne - semantyka.
Semantyka.

Książka

na półce

Szczegóły

Skocz do pozycji 32.

Tytuł pełny:: Computing meaning. T. 2 / ed. by Harry Bunt, Reinhard Muskens
Wydawca:: Dordrecht : Kluwer Academic Publishers
Rok wydania:: 2001
Seria:: Studies in Linguistics and Philosophy ; 77
Temat:: Języki formalne - semantyka.
Semantyka.

Książka

na półce

Szczegóły

Skocz do pozycji 33.

Tytuł pełny:: Wprowadzenie do teorii automatów, języków i obliczeń / John E. Hopcroft, Jeffrey D. Ullman ; [z ang. tł. Beata Konikowska]
Wydawca:: Warszawa : Wydaw. Naukowe PWN
Rok wydania:: 1994
Temat:: Języki formalne - podręczniki akademickie.
Teoria automatów - podręczniki laboratoryjne.
Złożoność obliczeniowa (informatyka) - podręczniki akademickie.
Lingwistyka matematyczna - podręczniki akademickie.
Języki formalne.
Teoria automatów.
Złożoność obliczeniowa (informatyka).

Książka

na półce

Szczegóły

Skocz do pozycji 34.

Tytuł pełny:: Wprowadzenie do teorii automatów, języków i obliczeń / John E. Hopcroft, Jeffrey D. Ullman ; [z jęz. ang. tł. Beata Konikowska]
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 1, dodr
Rok wydania:: 2003
Seria:: Informatyka. Zastosowania
Temat:: Języki formalne - podręczniki akademickie.
Teoria automatów - podręczniki akademickie.
Złożoność obliczeniowa (informatyka) - podręczniki akademickie.
Lingwistyka matematyczna - podręczniki akademickie.
Języki formalne.
Teoria automatów.
Złożoność obliczeniowa (informatyka).

Książka

na półce

Szczegóły

Skocz do pozycji 35.

Tytuł pełny:: Developmental systems and languages / Gabor T. Herman and Grzegorz Rozenberg ; with a contribution by Aristid Lindenmayer
Wydawca:: Amsterdam ; Oxford : North-Holland Publishing Company ; New York : American Elsevier Publishing Company
Rok wydania:: cop. 1975
Temat:: Biologia - informatyka.
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 36.

Tytuł pełny:: Leçons sur la théorie des automates mathématiques / C. Boucher
Wydawca:: Berlin [etc.] : Springer
Rok wydania:: 1971
Seria:: Lecture Notes in Economics and Mathematical Systems, 0075-8442 ; 46
Temat:: Teoria automatów.
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 37.

Tytuł pełny:: A calculus of communicating systems / Robin Milner
Wydawca:: Berlin : Springer
Rok wydania:: 1980
Seria:: Lecture Notes in Computer Science, 0302-9743 ; 92
Temat:: Teoria automatów.
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 38.

Tytuł pełny:: The concept of fuzziness in automata and language theory / Wofgang Wechler
Wydawca:: Berlin : Akademie-Verlag
Rok wydania:: 1978
Seria:: Studien zur Algebra und ihre Anwendungen : Schriftenreihe des Zentralinstituts für Mathematik und Mechanik bei der Akademie der Wissenschaften der DDR ; Bd. 5
Temat:: Teoria automatów.
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 39.

Tytuł pełny:: Mathematical foundations of computer science / editors: Antoni Mazurkiewicz, Zdzisław Pawlak
Wydawca:: Warszawa : PWN
Rok wydania:: 1977
Seria:: Banach Center Publications, 0137-6934 ; vol. 2
Temat:: Języki formalne.
Teoria automatów.

Książka

na półce

Szczegóły

Skocz do pozycji 40.

Tytuł pełny:: Teoria automatów i języków formalnych / Maria Foryś, Wit Foryś
Wydawca:: Warszawa : Akademicka Oficyna Wydawnicza EXIT
Rok wydania:: 2005
Seria:: Problemy Współczesnej Nauki : teoria i zastosowania. Informatyka
Temat:: Teoria automatów.
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 41.

Tytuł pełny:: Automata theory with modern applications / James A. Anderson with contributions by Tom Head
Wydawca:: Cambridge [etc.] : Cambridge University Press
Rok wydania:: 2006
Temat:: Teoria automatów.
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 42.

Tytuł pełny:: Notions sur les grammaires formelles / par Maurice Gross et André Lentin ; préface de Noam Chomsky
Wydawca:: Paris : Gauthier-Villars
Wydanie:: 2éme éd. rev. et corr
Rok wydania:: 1970
Seria:: Collection Programmation
Temat:: Język i mowa.
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 43.

Tytuł pełny:: Grammars for programming languages / J. Craig Cleaveland, Robert C. Uzgalis
Wydawca:: New York [etc] : Elsevier
Rok wydania:: cop. 1977
Seria:: Elsevier Computer Science Library
Programming Languages Series ; 4
Temat:: Języki programowania.
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 44.

Tytuł pełny:: Regulated rewriting in formal language theory / by Jürgen Dassow and Gheorghe Păun
Wydawca:: Berlin : Akademie-Verlag
Rok wydania:: 1989
Seria:: Mathematische Lehrbücher und Monographien. Abteilung 2, Mathematische Monographien, 0076-5430 ; 74
Temat:: Systemy przepisujące (informatyka).
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 45.

Tytuł pełny:: Formal grammars in linguistics and psycholinguistics. Vol. 1, An introduction to the theory of formal languages and automata / by W. J. M. Levelt
Wydawca:: The Hague ; Paris : Mouton
Rok wydania:: 1974
Seria:: Janua Linguarum. Series Minor ; 192/1
Temat:: Języki formalne.
Lingwistyka matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 46.

Tytuł pełny:: Issledovaniâ po formalizovannym âzykam i neklassičeskim logikam / [otv. red. D. A. Bočvar] ; Akademiâ Nauk SSSR. Gosudarstvennyj Komitet Soveta Ministrov SSSR po Nauke i Tehnike. Vsesoûznyj Institut Naučnoj i Tehničeskoj Informacii
Wydawca:: Moskva : "Nauka"
Rok wydania:: 1974
Temat:: Języki formalne.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 47.

Tytuł pełny:: Matematičeskaâ teoriâ kontekstno-svobodnyh âzykov / Sejmur Ginzburg ; per. s ang. A. Â Dikovskogo i L. S. Modinoj ; pod red. A. V. Gladkogo
Wydawca:: Moskva : Mir
Rok wydania:: 1970
Temat:: Języki formalne.
Teoria maszyn sekwencyjnych.

Książka

na półce

Szczegóły

Skocz do pozycji 48.

Tytuł pełny:: A course in formal languages, automata and groups / Ian Chiswell
Wydawca:: London : Springer
Rok wydania:: cop. 2009
Seria:: Universitext
Temat:: Języki formalne.
Automaty.
Teoria grup.

Książka

na półce

Szczegóły

Skocz do pozycji 49.

Tytuł pełny:: Formal grammars in linguistics and psycholinguistics. Vol. 3, Psycholinguistic applications / by W. J. M. Levelt
Wydawca:: The Hague ; Paris : Mouton
Rok wydania:: 1974
Seria:: Janua Linguarum. Series Minor ; 192/3
Temat:: Gramatyka generatywna.
Języki formalne.
Psycholingwistyka.

Książka

na półce

Szczegóły

Skocz do pozycji 50.

Tytuł pełny:: Initiation mathématique aux grammaires formelles / par Michel Hughes
Wydawca:: Paris : Librairie Larousse
Rok wydania:: 1972
Seria:: Langue et Langage
Temat:: Lingwistyka matematyczna.
Formalizacja (językoznawstwo).
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 51.

Tytuł pełny:: Konstrukcja translatorów dla maszyn cyfrowych / David Gries ; z języka angielskiego tłumaczyli: Krystyna Jerzykiewicz, Jerzy Szczepkowicz
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1984
Seria:: Biblioteka Informatyki
Temat:: Translatory.
Języki formalne.
Języki programowania - semantyka.
Kompilatory.

Książka

na półce

Szczegóły

Skocz do pozycji 52.

Tytuł pełny:: Simple program schemes and formal languages / Joost Engelfriet
Wydawca:: Berlin : Springer-Verlag
Rok wydania:: 1974
Seria:: Lecture Notes in Computer Science ; 20
Temat:: Języki formalne.
Komputery - programowanie.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 53.

Tytuł pełny:: Problemy przetwarzania informacji : praca zbiorowa. T. 2 / pod redakcją A. Mazurkiewicza ; autorzy Andrzej Jacek Blikle, Antoni Mazurkiewicz, Zdzisław Pawlak, Władysław M. Turski, Józef Winkowski
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:: Wydanie I
Rok wydania:: 1974
Seria:: Informatyka. Przetwarzanie Informacji i Maszyny Matematyczne
Temat:: Struktury danych (informatyka).
Języki formalne.
Kalkulatory.

Książka

na półce

Szczegóły

Skocz do pozycji 54.

Tytuł pełny:: Context-free grammars : covers, normal forms, and parsing / Anton Nijholt
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1980
Seria:: Lecture Notes in Computer Science ; 93
Temat:: Analiza składniowa automatyczna.
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 55.

Tytuł pełny:: Sprachrekonstruktionssysteme : und einige ihrer Anwendungsmöglichkeiten in Satz- und Textlinguistik / Thomas T Ballmer
Wydawca:: Kronberg/Ts. : Scriptor
Rok wydania:: 1975
Seria:: Skripten Linguistik und Kommunikationswissenschaft ; 15
Temat:: Gramatyka generatywna.
Analiza dyskursu.
Języki formalne.
Analiza tekstu.

Książka

na półce

Szczegóły

Skocz do pozycji 56.

Tytuł pełny:: Les mathématiques a la portée de l'ordinateur / par André Arnold ; pref. de J. Kuntzmann
Wydawca:: Paris : Dunod
Rok wydania:: 1970
Seria:: Initiation aux Nouveautés de la Science ; 22
Temat:: Automatyczne dowodzenie twierdzeń.
Logika symboliczna i matematyczna.
Języki programowania - matematyka.
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 57.

Tytuł pełny:: Automatic syntactic analysis / J. M. Foster
Wydawca:: London : Macdonald ; New York : American Elsevier
Rok wydania:: cop. 1970
Seria:: Computer Monographs ; 7
Temat:: Kompilacja (informatyka).
Języki formalne.
Analiza składniowa automatyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 58.

Tytuł pełny:: Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories / Andrzej Biela
Wydawca:: Katowice : Wydawnictwo Uniwersytetu Śląskiego
Rok wydania:: 2000
Seria:: Prace Naukowe Uniwersytetu Śląskiego w Katowicach 0208-6336 nr 1901
Temat:: Algorytmy.
Automatyczne dowodzenie twierdzeń.
Logika symboliczna i matematyczna.
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 59.

Tytuł pełny:: Introduction to formal grammars : with 75 figures / M. Gross, A. Lentin ; with a pref. by Noam Chomsky ; transl. by M. Salkoff
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: cop. 1970
Temat:: Formalizacja (językoznawstwo).

Książka

na półce

Szczegóły

Skocz do pozycji 60.

Tytuł pełny:: L'analyse formelle des langues naturelles : (introduction to the formal analysis of natural languages) / Noam Chomsky, George A. Miller ; trad. de Ph. Richard, N. Ruwet ; École pratique des hautes études - Sorbonne. Sixième section: sciences économiques et sociales
Wydawca:: Paris : Mouton : Gauthier-Villars
Rok wydania:: 1968
Seria:: Mathématiques et Sciences de l’Homme ; 8
Temat:: Formalizacja (językoznawstwo).
Lingwistyka matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 61.

Tytuł pełny:: Mathematische Linguistik : eine Einführung / M. Gross, A. Lentin ; mit einer Einl. von Noam Chomsky ; Übers. von Peter Schreiber
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1971
Seria:: Hochschultext
Temat:: Lingwistyka matematyczna.
Formalizacja (językoznawstwo).

Książka

na półce

Szczegóły

Skocz do pozycji 62.

Tytuł pełny:: Algorithms for computer algebra / K. O. Geddes, S. R. Czapor, G. Labahn
Wydawca:: Boston [etc.] : Kluwer Academic Publ
Rok wydania:: cop. 1992
Temat:: Algorytmy.
Rachunek formalny.

Książka

na półce

Szczegóły

Skocz do pozycji 63.

Tytuł pełny:: La linguistique cartésienne : un chapitre de l'histoire de la pensée rationaliste ; suivi de La nature formelle du langage / Noam Chomsky ; trad. de l'ang. par Nelcya Delanoë et Dan Sperber
Wydawca:: Paris : Éditions du Seuil
Rok wydania:: 1969
Seria:: L'Ordre Philosophique
Temat:: Formalizacja (językoznawstwo).
Gramatyka generatywna.
Językoznawstwo.

Książka

na półce

Szczegóły

Skocz do pozycji 64.

Tytuł pełny:: Mathematical logic and programming languages / ed. by C.A.R. Hoare, J.C. Shepherdson
Wydawca:: Englewood Cliffs, N.J. : Prentice/Hall International
Rok wydania:: 1985
Seria:: Prentice Hall International Series in Computer Science
Temat:: Języki programowania.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 65.

Tytuł pełny:: Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka / Wojciech Buszkowski
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Rok wydania:: 1989
Seria:: Logika i Zastosowania Logiki
Temat:: Gramatyka kategorialna.
Logika.

Książka

na półce

Szczegóły

Skocz do pozycji 66.

Tytuł pełny:: Pisma semantyczne / Gottlob Frege ; z jęz. niem. przeł. oraz wstępem i przypisami opatrzył Bogusław Wolniewicz
Wydawca:: [Warszawa] : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1977
Seria:: Biblioteka Klasyków Filozofii
Temat:: Semantyka.
Logika.
Filozofia języka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 67.

Tytuł pełny:: Introduction to logic / Romane Clark and Paul Welsh
Wydawca:: Princeton [etc.] : D. Van Nostrand Company
Rok wydania:: 1962
Temat:: Logika.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 68.

Tytuł pełny:: Do czego odnoszą się wyrażenia ogólne? : krytyka pewnych teorii średniowiecznych i współczesnych / Piotr Tomasz Geach ; przeł. Joanna Odrowąż-Sypniewska ; przekład przejrzał i posł. opatrzył Jacek Juliusz Jadacki
Wydawca:: Warszawa : Wydawnictwo Naukowe "Semper"
Rok wydania:: 2006
Seria:: Bibliothèque des Philosophes / Towarzystwo Naukowe Warszawskie = Société des sciences et des lettres de Varsovie ; 3
Temat:: Logika.
Referencja (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 69.

Tytuł pełny:: Dialektik und Wissenschaftslogik : eine sprachphilosophisch-handlungstheoretische Analyse / Christoph Hubig
Wydawca:: Berlin ; New York : Walter de Gruyter
Rok wydania:: 1978
Seria:: Grundlagen der Kommunikation
Temat:: Logika.
Dialektyka.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 70.

Tytuł pełny:: Word and object / Willard Van Orman Quine
Wydawca:: Cambridge ; London : The MIT Press
Rok wydania:: 1994
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 71.

Tytuł pełny:: Foundations of illocutionary logic / John R. Searle and Daniel Vanderveken
Wydawca:: Cambridge [etc.] : Cambridge University Press
Rok wydania:: 1985
Temat:: Akty mowy.
Logika.

Książka

na półce

Szczegóły

Skocz do pozycji 72.

Tytuł pełny:: Wybrane pisma filozoficzne / Kazimierz Twardowski ; [kom. red. Kazimierz Ajdukiewicz et al. ; przeł. Izydora Dąmbska]
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Rok wydania:: 1965
Temat:: Twardowski, Kazimierz (1866-1938) - bibliografia.
Logika.
Filozofia języka.
Psychologia.

Książka

na półce

Szczegóły

Skocz do pozycji 73.

Tytuł pełny:: Language form and language function / Frederick J. Newmeyer
Wydawca:: Cambridge, Mass ; London : The MIT Press
Rok wydania:: 1998
Seria:: Language, Speech and Communication
Temat:: Analiza lingwistyczna.
Językoznawstwo - metodologia.
Formalizacja (językoznawstwo).
Funkcjonalizm (językoznawstwo).

Książka

na półce

Szczegóły

Skocz do pozycji 74.

Tytuł pełny:: Language, logic, and method / edited by Robert S. Cohen and Marx W. Wartofsky
Wydawca:: Dordrecht [etc.] : D. Reidel Publishing Company
Rok wydania:: 1983
Seria:: Boston Studies in the Philosophy of Science ; vol. 31
Temat:: Logika.
Filozofia języka.
Nauka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 75.

Tytuł pełny:: Analiza wyników pomiarów fizycznych wspomagana algebrą komputerową / Leon Magiera
Wydawca:: Wrocław : Oficyna Wydawnicza PW
Rok wydania:: 2004
Seria:: Materiały Dydaktyczne Instytutu Fizyki Politechniki Wrocławskiej
Temat:: Pomiary fizyczne - matematyka - podręczniki laboratoryjne.
Pomiary fizyczne - informatyka - podręczniki laboratoryjne.
Rachunek formalny - oprogramowanie - podręczniki laboratoryjne.

Książka

na półce

Szczegóły

Skocz do pozycji 76.

Tytuł pełny:: Everything that linguists have always wanted to know about logic but were ashamed to ask / James D. McCawley
Wydawca:: Oxford : Basil Blackwell
Rok wydania:: 1981
Temat:: Język i logika.
Logika.

Książka

na półce

Szczegóły

Skocz do pozycji 77.

Tytuł pełny:: Eseje logiczno-filozoficzne / Jaakko Hintikka ; przeł. i skorowidzami opatrzył Adam Grobler ; nauk. oprac. i wstępem poprzedził Jan Woleński
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Rok wydania:: 1992
Seria:: Biblioteka Współczesnych Filozofów
Temat:: Język i logika.
Filozofia języka.
Logika.

Książka

na półce

Szczegóły

Skocz do pozycji 78.

Tytuł pełny:: Pragmatics, truth, and language / R . M. Martin
Wydawca:: Dordrecht : D. Reidel Publishing Company
Rok wydania:: 1979
Seria:: Boston Studies in the Philosophy of Science ; vol. 38
Temat:: Prawda.
Logika.
Pragmatyka (językoznawstwo).
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 79.

Tytuł pełny:: Wybrane metody formalnego zapisu składni języka naturalnego / Agnieszka Mykowiecka
Wydawca:: Warszawa : IPI. PAN
Rok wydania:: 1990
Seria:: Prace IPI PAN = ICS PAS Reports / Instytut Podstaw Informatyki Polskiej Akademii Nauk, 0138-0648 ; 691
Temat:: Składnia.
Formalizacja (językoznawstwo).
Języki naturalne - składnia.
Gramatyka porównawcza i ogólna.

Książka

na półce

Szczegóły

Skocz do pozycji 80.

Tytuł pełny:: Tractatus logico-philosophicus / by Ludwig Wittgenstein ; with an introd. by Bertrand Russell
Wydawca:: London : Kegan Paul, Trench, Trubner ; New York : Harcourt, Brace
Wydanie:: Repr
Rok wydania:: 1933
Seria:: International Library of Psychology, Philosophy and Scientific Method
Temat:: Filozofia języka.
Logika symboliczna i matematyczna.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 81.

Tytuł pełny:: Wort und Gegenstand = (Word and object) / Willard Van Orman Quine ; aus dem englischen übersetz von Joachim Schulte ; in Zusammenarbeit mit Dieter Birnbacher
Wydawca:: Stuttgart : Philipp Reclam jun
Rok wydania:: cop. 1980
Seria:: Universal-Bibliothek Nr. 9987 [6]
Temat:: Filozofia języka.
Logika symboliczna i matematyczna.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 82.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył Bogusław Wolniewicz
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1970
Seria:: Biblioteka Klasyków Filozofii
Temat:: Filozofia języka.
Logika symboliczna i matematyczna.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 83.

Tytuł pełny:: Le mot et la chose / Willard Van Orman Quine ; trad. de l'américain par Joseph Dopp et Paul Gauchet ; avant-propos de Paul Gauchet
Wydawca:: Paris : Flammarion
Rok wydania:: dr. 1978
Seria:: Nouvelle Bibliothèque Scientifique
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 84.

Tytuł pełny:: Word and object / Willard Van Orman Quine
Wydawca:: Cambridge (MA) : The M.I.T. Press
Wydanie:: 2nd print
Rok wydania:: 1964
Seria:: Studies in Communication
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 85.

Tytuł pełny:: Word and object / Willard Van Orman Quine
Wydawca:: Cambridge, MA : The M.I.T. Press
Wydanie:: 9th printing
Rok wydania:: 1975
Seria:: The MIT Press Paperback Series ; 4
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 86.

Tytuł pełny:: Language, mind and mathematics / [ed. vol. Halina Święczkowska]
Wydawca:: Białystok : The Chair of Logic, Informatics and Philosophy of Science University of Białystok
Rok wydania:: 2001
Seria:: Studies in Logic, Grammar and Rhetoric, 0860-150X ; 4(17)
Temat:: Lingwistyka matematyczna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 87.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 5, 1 dodr
Rok wydania:: 2006
Seria:: Biblioteka Klasyków Filozofii
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 88.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 5
Rok wydania:: 2004
Seria:: Biblioteka Klasyków Filozofii
Temat:: Semantyka (filozofia).
Filozofia języka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 89.

Tytuł pełny:: Logic, language, methodology / [ed. for the vol. Halina Święczkowska]
Wydawca:: Białystok : Wydaw. Uniwersytetu w Białymstoku
Rok wydania:: 2003
Seria:: Studies in Logic, Grammar and Rhetoric, 0860-150X ; 6 (19)
Temat:: Logika.
Język i logika.
Nauka - filozofia.
Lingwistyka matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 90.

Tytuł pełny:: Large infinitary languages : model theory / M. A. Dickmann
Wydawca:: Amsterdam ; Oxford : North-Holland Publishing Company ; New York : American Elsevier
Rok wydania:: 1975
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 83
Temat:: Logika symboliczna i matematyczna.
Teoria modeli.
Lingwistyka matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 91.

Tytuł pełny:: Język i poznanie. T. 1, Wybór pism z lat 1920-1939 / Kazimierz Ajdukiewicz
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Wydanie:: Wyd. 2
Rok wydania:: 1985
Temat:: Teoria poznania.
Filozofia języka.
Logika symboliczna i matematyczna.
Nauka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 92.

Tytuł pełny:: Język i poznanie. T. 2, Wybór pism z lat 1945-1963 / Kazimierz Ajdukiewicz
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Rok wydania:: 1965
Temat:: Ajdukiewicz, Kazimierz (1890-1963) - bibliografia.
Teoria poznania.
Filozofia języka.
Logika symboliczna i matematyczna.
Nauka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 93.

Tytuł pełny:: Język i poznanie. T. 2, Wybór pism z lat 1945-1963 / Kazimierz Ajdukiewicz
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Wydanie:: Wyd. 2
Rok wydania:: 1985
Temat:: Ajdukiewicz, Kazimierz (1890-1963) - biografie.
Ajdukiewicz, Kazimierz (1890-1963) - bibliografia.
Teoria poznania.
Filozofia języka.
Logika symboliczna i matematyczna.
Nauka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 94.

Tytuł pełny:: Modern computer algebra / Joachim von zur Gathen, Jürgen Gerhard
Wydawca:: Cambridge : University Press
Wydanie:: 2nd ed
Rok wydania:: 2003
Temat:: Algorytmy.
Informatyka - matematyka.
Rachunek formalny - oprogramowanie.

Książka

na półce

Szczegóły

Skocz do pozycji 95.

Tytuł pełny:: Mathematical logic in computer science / ed. by B. Dömölki and T. Gergely
Wydawca:: Amsterdam [etc.] : North-Holland Publishing Company
Rok wydania:: cop. 1981
Seria:: Colloquia Mathematica Societatis János Bolyai, 0139-3383 ; 26
Temat:: Logika symboliczna i matematyczna.
Informatyka - matematyka.
Komputery - programowanie.
Komputery - programowanie - konferencje.
Języki programowania - semantyka - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 96.

Tytuł pełny:: The anagogic theory of Wittgenstein's "Tractatus" / by Roy Emanuel Lemoine
Wydawca:: The Hague ; Paris : Mouton
Rok wydania:: 1975
Seria:: Linua Linguarum : studia memoriae Nicolai van Wijk dedicata ; 214
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 97.

Tytuł pełny:: Z zagadnień teorii nauki i teorii języka / Janina Kotarbińska
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Rok wydania:: 1990
Temat:: Logika.
Semiotyka.
Filozofia języka.
Nauka - filozofia.
Nauka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 98.

Tytuł pełny:: Równość, podobieństwo, porządek / J. A. Szrejder ; z języka rosyjskiego przełożyła Maria Semeniuk-Polkowska
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:: Wydanie I
Rok wydania:: 1975
Temat:: Logika matematyczna nieklasyczna.
Lingwistyka matematyczna.
Logika symboliczna i matematyczna.
Teoria grafów.

Książka

na półce

Szczegóły

Skocz do pozycji 99.

Tytuł pełny:: Logika i ontologiâ / [redkol. V. V. Celiŝev (otv. red.) et al. ; Akademiâ nauk SSSR. Sibirskoe otdelenie. Institut istorii, filologii i filosofii]
Wydawca:: Moskva : "Nauka"
Rok wydania:: 1978
Temat:: Semantyka.
Język i logika.
Lingwistyka matematyczna.
Ontologia.
Logika.

Książka

na półce

Szczegóły

Skocz do pozycji 100.

Tytuł pełny:: Studies in the way of words / Paul Grice
Wydawca:: Cambridge : London : Harvard University Press
Rok wydania:: 1989
Temat:: Analiza (filozofia).
Filozofia języka.
Percepcja (filozofia).
Semantyka (filozofia).
Znaczenie (filozofia).
Logika.

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Języki formalne." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu