Campusbibliothek

Ihre Suche erzielte 21 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
2.
Logic programming and automated reasoning proceedings International Conference LPAR '92, St. Petersburg, Russia, July 15 - 20, 1992. A. Voronkov (ed.) von Reihen: ; 62400 | Lecture notes in computer science ; 624
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1992
Weitere Titel:
  • International Conferenec LPAR-92
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 624.
Vormerken Zum Korb hinzufügen
3.
Logic programming and automated reasoning proceedings 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13 - 20, 1993. Andrei Voronkov (ed.) von Reihen: ; 698 | Lecture notes in computer science ; 698
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1993
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 698.
Vormerken Zum Korb hinzufügen
4.
Elimination of equality via transformation with ordering constraints Leo S. Bachmair; Harald Ganzinger; Andrei Voronkov von Reihen: ; 97,2,12 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 97,2,12 |
Materialtyp: Text Text; Format: Druck
Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 1997
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MPI-I-97-2-012.
Vormerken Zum Korb hinzufügen
5.
Equality reasoning in sequent-based calculi Anatoli Degtyarev and Andrei Voronkov. [Max-Planck-Institut für Informatik] von Reihen: ; 98,2,11 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 98,2,11 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 1998
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MPI-I-98-2-011.
Vormerken Zum Korb hinzufügen
6.
Automated deduction 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27 - 30, 2002 ; proceedings CADE-18. Andrei Voronkov (ed.) von Reihen: ; 2392 | Lecture notes in computer science ; 2392
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • CADE-18
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 2392.
Vormerken Zum Korb hinzufügen
7.
Logic for programming, artificial intelligence, and reasoning 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13 - 17, 2006 ; proceedings Miki Hermann; Andrei Voronkov (eds.) von Reihen: ; 4246 | Lecture notes in computer science ; 4246
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11916277
Verlag: Berlin Heidelberg [u.a.] Springer 2006
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 4246.
Vormerken Zum Korb hinzufügen
8.
Perspectives of systems informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006 ; revised papers Irina Virbitskaite; Andrei Voronkov (eds.) von Reihen: ; 437800 | Lecture notes in computer science ; 4378
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12019588
Verlag: Berlin Heidelberg [u.a.] Springer 2007
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 4378.
Vormerken Zum Korb hinzufügen
9.
Logic for programming artificial intelligence and reasoning 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 ; proceedings Nachum Dershowitz; Andrei Voronkov (eds.) von Reihen: ; 4790 | Lecture notes in computer science ; 4790
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12172481
Verlag: Berlin Heidelberg [u.a.] Springer 2007
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 4790.
Vormerken Zum Korb hinzufügen
10.
Complexity of nonrecursive logic programs with complex values Sergei Vorobyov and Andrei Voronkov von Reihen: ; 97,2,10 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 97,2,10 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 1997
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MPI-I-97-2-010.
Vormerken Zum Korb hinzufügen
11.
Rewriting techniques and applications 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 ; proceedings Andrei Voronkov (ed.) von Reihen: ; 511700 | Lecture notes in computer science ; 5117
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2008
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 5117.
Vormerken Zum Korb hinzufügen
12.
Logic for programming, artificial intelligence, and reasoning 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 ; proceedings Iliano Cervesato; Helmut Veith; Andrei Voronkov (eds.) von Reihen: ; 5330 | Lecture notes in computer science ; 5330
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12573158
Verlag: Berlin Heidelberg [u.a.] Springer 2008
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 5330.
Vormerken Zum Korb hinzufügen
13.
Perspectives of systems informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 ; revised papers Amir Pnueli; Irina Virbitskaite; Andrei Voronkov (eds.) von Reihen: ; 594700 | Lecture notes in computer science ; 5947
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12829361
Verlag: Berlin Heidelberg [u.a.] Springer 2010
Weitere Titel:
  • PSI 2009
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 5947.
Vormerken Zum Korb hinzufügen
14.
Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings Christian G. Fermüller; Andrei Voronkov (eds.) von Reihen: ; 639700 | Lecture notes in computer science ; 6397
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 80023546
Verlag: Berlin Heidelberg [u.a.] Springer 2010
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 6397.
Vormerken Zum Korb hinzufügen
15.
Perspectives of system informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24 - 27, 2014 ; revised selected papers Andrei Voronkov; Irina Virbitskaite (eds.) von Reihen: ; 897400 | Lecture notes in computer science ; 8974
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-662-46822-7
Verlag: Heidelberg New York, NY Dordrecht London Berlin Springer 2015
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 8974.
Vormerken Zum Korb hinzufügen
16.
Logic for programming, artificial intelligence, and reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings Martin Davis ... (ed.) von Reihen: ; 945000 | Lecture notes in computer science ; 9450
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 978-3-662-48898-0
  • 86723631
Verlag: Berlin Heidelberg Springer 2015
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 9450.
Vormerken Zum Korb hinzufügen
17.
Programming logics essays in memory of Harald Ganzinger Andrei Vorinkov ; Christoph Weidenbach (ed.) von Reihen: ; 7797 | Lecture notes in computer science ; 7797
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 86250633
Verlag: Berlin Heidelberg Springer 2013
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 7797.
Vormerken Zum Korb hinzufügen
18.
19.
Perspectives of system informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017 : revised selected papers Alexander K. Petrenko, Andrei Voronkov (eds.) von Reihen: ; 1074200 | Lecture notes in computer science ; 10742
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer [2018]Copyright-Datum: © 2018
Weitere Titel:
  • PSI 2017
  • eleventh
  • PSI 2017
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 10742.
Vormerken Zum Korb hinzufügen
20.
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha