Okładka

kod QR

Przegląd algorytmów utrzymywania wiarygodności / Jacek Kamiński.

Zapisane w:

Opis bibliograficzny
Autor:	Kamiński, Jacek (informatyk)
Format:	Książka
Język:	polski
Wydane:	Warszawa : IPI. PAN, 1988.
Seria:	Prace IPI PAN 639
Hasła przedmiotowe:	Automatyczne dowodzenie twierdzeń.

Podobne opisy

Machine translation of languages : fourteen essays / edited by William N. Locke and A. Donald Booth.
Wydane: (1955)

Machine translation / Bożena Henisz-Dostert, R. Ross Macdonald, Michael Zarechnak.
od: Henisz-Dostert, Bożena
Wydane: (1979)

L'Adressage intrinsèque en traduction automatique / par Y. Lecerf ; Communaute Europeenne de l'Energie Atomique - Euratom.
od: Lecerf, Yves (1932-1995)
Wydane: (1962)

Comment comprendre la classe d'object? / Anna Czekaj.
od: Czekaj, Anna M.

Bibliographie de la traduction automatique = Bibliography of mechanical translation / E. & K. Delavenay.
od: Delavenay, Émile (1905-2003)
Wydane: (1960)

Proceedings of the National Symposium on Machine Translation, held at University of California, Los Angeles, February 2-5, 1960 / ed. by H. P. Edmundson.
Wydane: (1961)

Metody wyszukiwania i klasyfikacji informacji / Mirosław Dąbrowski, Krystyna Laus-Mączyńska.
od: Dąbrowski, Mirosław (1937-1995)
Wydane: (1978)

Übersetzungswissenschaft : Probleme und Methoden / von Wolfram Wilss.
od: Wilss, Wolfram (1925-2012)
Wydane: (1977)

Neuere Methoden der intellektuellen Indexierung : britische Systeme unter besonderer Berücksichtigung von PRECIS / von Reinhard Supper.
od: Supper, Reinhard (1947-2016)
Wydane: (1978)

Struktury uzasadniania / Jacek Ziobrowski.
od: Ziobrowski, Jacek
Wydane: (2019)

Przekład w epoce cyfrowej / Michael Cronin ; przekład Marta Błaszkowska, Magda Heydel, Elżbieta Koziołkiewicz, Maciej Nawrocki, Aldona Pikul, Zofia Ziemann ; redakcja naukowa przekładu Magda Heydel i Zofia Ziemann.
od: Cronin, Michael (1960- ).
Wydane: (2016)

An introduction to subject indexing / A. G. Brown, in collaboration with D. W. Langridge and J. Mills.
od: Brown, Alan George
Wydane: (1982)

L'Approche Orienté Objets ou l'EuroWordNet? : quelle approche pour la traduction automatique?. Pt. 2, Hiérarchie, héritage et désambiguïsation / Sonia Szramek-Karcz.
od: Szramek-Karcz, Sonia

1961 International Conference on machine translation of languages and applied language analysis : proceedings of the conference held at the National Physical Laboratory, Teddington, Middlesex, on 5th, 6th, 7th and 8th September. Vol. 2 / National Physical Laboratory.
Wydane: (1962)

1961 International Conference on machine translation of languages and applied language analysis : proceedings of the conference held at the National Physical Laboratory, Teddington, Middlesex, on 5th, 6th, 7th and 8th September. Vol. 1 / National Physical Laboratory.
Wydane: (1962)

Information retrieval and machine translation : based on the International Conference for Standards on a Common Language for Machine Searching and Translation, sponsored by Western Reserve University and Rand Development Corporation, held in Cleveland, Ohio, September 6-12, 1959. P. 2 / ed. Allen Kent.
Wydane: (1961)

Information retrieval and machine translation : based on the International Conference for Standards on a Common Language for Machine Searching and Translation, sponsored by Western Reserve University and Rand Development Corporation, held in Cleveland, Ohio, September 6-12, 1959. P. 1 / ed. Allen Kent.
Wydane: (1960)

Władza algorytmów : u źródeł potęgi Google i Facebooka / Jan Kreft.
od: Kreft, Jan
Wydane: (2019)

Speech analysis and synthesis. Vol. 3 / ed. Wiktor Jassem ; Polish Academy of Sciences. Institute of Fundamental Technological Research.
Wydane: (1973)

Speech analysis and synthesis. Vol. 4 / ed. Wiktor Jassem ; Polish Academy of Sciences. Institute of Fundamental Technological Research.
Wydane: (1976)

Quelques remarques théoriques et pratiques sur la traduction du français vers le polonais dans l'approche orientée objets / Beata Śmigielska.
od: Śmigielska, Beata

Dritter Europäischer Kongreß über Dokumentationssysteme und - netze : die Überwindung der Sprachbarrieren, Luxemburg, 3-6 Mai 1977. Bd. 1 / Komission der Europäischen Gemeinschaften.
Wydane: (1977)

Analiza semantyczna fraz przyimkowych do celów automatycznego przetwarzania tekstu / Helena Dryzek.
od: Dryzek, Helena ( -2011)
Wydane: (1980)

Análisis sintáctico-semántico del verbo "ganar" según el enfoque orientado a objetos / Agnieszka Palion-Musioł, Aleksandra Żłobińska-Nowak.
od: Palion-Musioł, Agnieszka

Traktat o wiarygodności chrześcijaństwa : dlaczego wierzyć Chrystusowi? / Marian Rusecki.
od: Rusecki, Marian (1942-2012)
Wydane: (2010)

Speech analysis and synthesis. Vol. 1 / ed. Wiktor Jassem ; Polish Academy of Sciences. Institute of Fundamental Technological Research.
Wydane: (1968)

Natural language parsing and : linguistic theories / ed. by U. Reyle and S. Rohrer ; [aut. Stuart M. Shieber et al.].
Wydane: (1988)

Naczelne dowództwo Wojska Polskiego 1918-1921 / Lech Wyszczelski.
od: Wyszczelski, Lech (1942- ).
Wydane: (2024)

Badanie wiarygodności handlowej i finansowej kontrahenta zagranicznego / Tadeusz T. Kaczmarek.
od: Kaczmarek, Tadeusz Teofil (1936-2021)
Wydane: (1992)

Kontinuum kreatywności : wielotekstowość w lokalizacji gier / Ewa B. Nawrocka.
od: Nawrocka, Ewa Barbara
Wydane: (2023)

Zmiany w trakcie terapii wyznacznikiem utrzymywania abstynencji : badania kobiet uzależnionych od alkoholu / Artur Juczyński.
od: Juczyński, Artur

Symulacje komputerowe jako narzędzie badawcze nauki (na przykładzie algorytmów ewolucyjnych) / Sławomir Leciejewski.
od: Leciejewski, Sławomir

Analiza cech suprasegmentalnych języka polskiego na potrzeby technologii mowy / Grażyna Demenko ; Uniwersytet im. Adama Mickiewicza w Poznaniu.
od: Demenko, Grażyna
Wydane: (1999)

Promocja nośnikiem zdobywania i utrzymywania przewagi konkurencyjnej na przykładzie Gminy Oleśnica k. Wrocławia / Monika Mazur.
od: Mazur, Monika (zarządzanie)

Problem utrzymywania czystości w średniowiecznym mieście - funkcje i znaczenie łaźni publicznych na przykładzie Elbląga / Rafał Kubicki.
od: Kubicki, Rafał (1974- ).

Przegląd Pedagogiczny (1882-1905) : zarys monograficzny / Tadeusz Kamiński ; Polska Akademia Nauk. Instytut Historii Nauki, Oświaty i Techniki. Zakład Dziejów Oświaty.
od: Kamiński, Tadeusz (informacja naukowa)
Wydane: (1978)

Przegląd paradygmatów w zarządzaniu strategicznycm / Jacek Rybicki.
od: Rybicki, Jacek M. (1960- ).

Dawno temu był sobie Algorytm czyli Jak książki, filmy i życie codzienne wyjaśniają nam dziedzinę algorytmów / Martin Erwig ; przekład: Wojciech Fenrich i Witold Sikorski.
od: Erwig, Martin (1963- ).
Wydane: (2019)

Przegląd.
Wydane: (1999)

Przegląd / [Niezależna Oficyna Wydawnicza Nowa].
Wydane: (1983)