1. |
Thompson, Jeremy C.: The Benedictine prologue : a contribution to the early history of the Latin prologues to the Pauline Epistles / Jeremy C. Thompson/Clare K. Rothschild. - Tübingen: Mohr Siebeck, [2023]. - XII,186 Seiten : Illustrationen, ISBN 978-3-16-162550-3 (Studien und Texte zu Antike und Christentum ; 136) DOI: 10.1628/9783161627620
Buch/keine Angabe
|
ausleihbar
Signatur: 2024 A 1010
|
|
2. |
Knowledge systems and PROLOG : a logical approach to expert systems and natural language processing / Adrian Walker (ed.) Michael McCord .... - Repr. with corrections. - Reading, Mass. [u.a.]: Addison-Wesley, 1987. - XII, 475 S : graph. Darst., ISBN 978-0-201-09044-4
Buch/keine Angabe
|
Signatur: UBN/ST 302 M131
|
|
3. |
Die Prologtexte zu den Psalmen von Origenes und Eusebius / herausgegeben von Cordula Bandt, Franz Xaver Risch und Barbara Villani. - Berlin ; Boston: De Gruyter, [2019]. - xxiv, 368 Seiten : Illustrationen, ISBN 978-3-11-055715-2 (Texte und Untersuchungen zur Geschichte der altchristlichen Literatur ; Band 183)
Buch/keine Angabe
|
ausleihbar
|
|
4. |
Gaudek, Tomáš: Staročeské biblické předmluvy / autoři kapitol: Tomáš Gaudek, Ota Halama, Milada Homolková, Klára Matiasovitsová, Andrea Svobodová a… . - Vydání první. - V Praze: Scriptorium, 2019. - 623 Seiten : Illustrationen, Diagramme, ISBN 978-80-88013-78-5
Buch/keine Angabe
|
Präsenznutzung
|
|
5. |
Coelho, Helder: Prolog by example : how to learn, teach and use it / Helder Coelho, José C. Cotta. - Berlin ; Heidelberg ; New York ; London: Springer, 1988. - X, 382 Seiten : Diagramme, ISBN 978-0-387-18313-8 (Symbolic computation : Artificial intelligence)
Buch/keine Angabe
|
Signatur: UBN/ST 250 C672
|
|
6. |
Clocksin, William F.: Clause and effect : Prolog programming for the working programmer / William F. Clocksin. - Berlin ; Heidelberg [u.a.]: Springer, 1997. - IX, 143 S. : graph. Darst., ISBN 978-3-540-62971-9
Buch/keine Angabe
|
Präsenznutzung
|
|
7. |
Bramer, Max A.: Logic programming with Prolog / Max Bramer. - 2. ed.. - London ; Heidelberg [u.a.]: Springer, 2013. - XIII, 253 S. : graph. Darst., ISBN 978-1-4471-5486-0
Buch/keine Angabe
|
Signatur: LN-U 10-17409::(2)
|
|
8. |
Nugues, Pierre M.: Language processing with Perl and Prolog : theories, implementation, and application / Pierre M. Nugues. - 2. ed.. - Berlin ; Heidelberg [u.a.]: Springer, 2014. - XXV, 662 S. : graph. Darst., ISBN 978-3-642-41463-3 (Cognitive technologies)
Buch/keine Angabe
|
Signatur: LN-U 10-17627::(2)
|
|
9. |
Deransart, Pierre: Prolog : the standard ; reference manual / P. Deransart; A. Ed-Dbali; L. Cervoni. - Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara ; Singapore ; Tokyo: Springer, 1996. - XIV, 272 S : graph. Darst, ISBN 978-3-540-59304-1
Buch/keine Angabe
|
ausleihbar
|
|
10. |
Tate, Bruce: Prolog / by Bruce A. Tate ; edited by Jacquelyn Carter. - [First edition].. - [Raleigh, North Carolina]: Pragmatic Bookshelf, [2022]. - 1 online resource (74 pages) : illustrations, ISBN 978-1-68050-937-3 (Pragmatic programmers)
Online-Ressource
|
|
|
11. |
Marcus, Claudia: Prolog programming : applications for database systems, expert systems, and natural language systems / Claudia Marcus. - 2. print. - Reading, Mass. [u.a.]: Addison-Wesley, 1986. - 325 S, ISBN 978-0-201-14647-9
Buch/keine Angabe
|
Präsenznutzung
|
|
12. |
Bratko, Ivan: Prolog : programming for artificial intelligence / Ivan Bratko. - 2. ed.. - Wokingham ; Bonn [u.a.]: Addison-Wesley, 1990. - XXI, 597 S. : graph. Darst., ISBN 978-0-201-41606-0 (International computer science series)
Buch/keine Angabe
|
Präsenznutzung
|
|
13. |
Clocksin, William F.: Programming in Prolog / W. F. Clocksin ; C. S. Mellish. - Third, revised and extended edition. - Berlin ; Heidelberg ; New York ; London: Springer, 1987. - XIV, 281 Seiten : Diagramme, ISBN 978-0-387-17539-3
Buch/keine Angabe
|
Präsenznutzung
|
|
14. |
Geske, Ulrich: Prolog : Grundlagen - Programmiermethoden - Standards; [mit 22 Tabellen] / von Ulrich Geske. - Berlin: Akad.-Verl., 1993. - XII, 330 S., ISBN 978-3-05-501517-5 (Informatik ; 7)
Buch/keine Angabe
|
Signatur: UBN/ST 250 G389
|
|
15. |
Clocksin, William F.: Programming in Prolog / W. F. Clocksin, C. S. Mellish. - Fifth edition. - Berlin ; Heidelberg: Springer, [2003]. - XIII, 299 Seiten : Illustrationen, ISBN 978-3-540-00678-7
Buch/keine Angabe
|
Signatur: LN-U 10-12351::(5)
|
|
16. |
Lehner, Christoph: Prolog und Linguistik : ein Lehrbuch mit Anwendungen aus der modernen Sprachwissenschaft / von Christoph Lehner. - 2. Aufl., unveränd. Nachdr. der 1. Aufl. - München ; Wien: Oldenbourg, 1992. - 378 S, ISBN 978-3-486-22144-2 (Neue Software)
Buch/keine Angabe
|
Präsenznutzung
|
|
17. |
Belli, Fevzi: Einführung in die logische Programmierung mit PROLOG / von Fevzi Belli. - 2., überarb. und erw. Aufl. - Mannheim [u.a.]: BI-Wissenschaftsverl., 1988. - 317 S : graph. Darst, ISBN 978-3-411-05630-9 (BI-Hochschultaschenbücher ; 630)
Buch/keine Angabe
|
Signatur: UBN/ST 250 B443(2)
|
|
18. |
Lehner, Christoph: Prolog und Linguistik / von Christoph Lehner. - München ; Wien: Oldenbourg, 1990. - 378 S. : graph. Darst, ISBN 978-3-486-21140-5 (Neue Software)
Buch/keine Angabe
|
Präsenznutzung
|
|
19. |
Candrā, Kāṭamallī Līnā: Bhāsakālidāsarūpakeṣū Nāndī-Bharatavākyamālikā : saṅkṣiptakathāsārasahitā / granthakartrī Ḍô. Kāṭamallī Līnā Candrā. - Dillī, Bhārata: Nyū Bhāratīya Buka Kôrporeśana, 2021. - xiv, a-f, 75 Seiten, ISBN 978-81-8315-470-3
Buch/keine Angabe
|
Signatur: ind 55 C 22/1293
|
|
20. |
Langton, Stephen: Stephen Langton's prologues to the Bible / Latin texts edited by Mark J. Clark and Joshua Benson ; English translation and introduction Mark J.… . - First edition. - Oxford: Oxford University Press, 2021. - vi, 533 Seiten, ISBN 978-0-19-726717-2 (Auctores Britannici medii aevi ; 38)
Buch/keine Angabe
|
ausleihbar
Signatur: 2022 A 8966
|
|