de.mpg.escidoc.pubman.appbase.FacesBeande.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Impressum Kontakt Einloggen
  DetailsucheBrowse

Suchergebnisse

376 Datensätze gefunden (absteigend sortiert nach Änderungsdatum)
 
 
Zurück1234567Vor
  Sortierung nach Status ???List_Show??? Alle aufklappen Selektieren Alle zuklappen
  1. Urheber:
    Datum: Angenommen: 2017-10-12 | Online veröffentlicht: 2017-08-16 | Im Druck veröffentlicht: 2017  
    Genre: Hochschulschrift 
    Dateien : -
    externe Referenzen: 2 ext. Referenzen
    Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
    Name der Veranstaltung: -
    Genre der Quelle: -
    Title der Quelle: -
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  2. Urheber:
    Datum: Erstellt: 2017-04-23 | Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: International Symposium on Symbolic and Algebraic...
    Genre der Quelle: Konferenzband
    Title der Quelle: ISSAC’17
    Band / Heft: -
    Start- / Endseite: 45 - 52
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  3. Urheber:
    Datum: Erstellt: 2017-06-27 | Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 19th International Workshop on Computer Algebra i...
    Genre der Quelle: Konferenzband
    Title der Quelle: Computer Algebra in Scientific Computing
    Band / Heft: -
    Start- / Endseite: 93 - 108
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  4. ( )
    Subtropical Satisfiability
    Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 11th International Symposium on Frontiers of Comb...
    Genre der Quelle: Konferenzband
    Title der Quelle: Frontiers of Combining Systems
    Band / Heft: -
    Start- / Endseite: 189 - 206
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  5. Urheber:
    Datum: Erstellt: 2017-05-24 | Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 26th International Conference on Automated Deduct...
    Genre der Quelle: Konferenzband
    Title der Quelle: Automated Deduction -- CADE 26
    Band / Heft: -
    Start- / Endseite: 398 - 412
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  6. Urheber:
    Datum: Erstellt: 2017-05-24 | Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 26th International Conference on Automated Deduct...
    Genre der Quelle: Konferenzband
    Title der Quelle: Automated Deduction -- CADE 26
    Band / Heft: -
    Start- / Endseite: 432 - 453
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  7. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 11th International Symposium on Frontiers of Comb...
    Genre der Quelle: Konferenzband
    Title der Quelle: Frontiers of Combining Systems
    Band / Heft: -
    Start- / Endseite: 3 - 21
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  8. Urheber:
    Datum: Online veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: Twenty-Sixth International Joint Conference on Ar...
    Genre der Quelle: Konferenzband
    Title der Quelle: Proceedings of the Twenty-Sixth International Joi...
    Band / Heft: -
    Start- / Endseite: 4786 - 4790
    Artikelnummer: -
    Ort, Verlag, Ausgabe: International Joint Conferences on Artificial Intelligence
  9. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 8th Conference on Interactive Theorem Proving
    Genre der Quelle: Konferenzband
    Title der Quelle: Interactive Theorem Proving
    Band / Heft: -
    Start- / Endseite: 46 - 64
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  10. Urheber:
    Datum: Online veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: 2 ext. Referenzen
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 2nd International Conference on Formal Structures...
    Genre der Quelle: Konferenzband
    Title der Quelle: 2nd International Conference on Formal Structures...
    Band / Heft: -
    Start- / Endseite: 1 - 18
    Artikelnummer: 1
    Ort, Verlag, Ausgabe: Wadern : Schloss Dagstuhl
     : 1 es sind weitere Quellen vorhanden
  11. Urheber:
    Datum: Angenommen: 2017-08-04 | Online veröffentlicht: 2017-09-14 | Im Druck veröffentlicht: 2017  
    Genre: Hochschulschrift 
    Dateien : -
    externe Referenzen: 2 ext. Referenzen
    Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
    Name der Veranstaltung: -
    Genre der Quelle: -
    Title der Quelle: -
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  12. Urheber:
    Datum: Erstellt: 2017-05-24 | Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 26th International Conference on Automated Deduct...
    Genre der Quelle: Konferenzband
    Title der Quelle: Automated Deduction -- CADE 26
    Band / Heft: -
    Start- / Endseite: 202 - 219
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  13. Urheber:
    Datum: Erstellt: 2017-05-24 | Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 26th International Conference on Automated Deduct...
    Genre der Quelle: Konferenzband
    Title der Quelle: Automated Deduction -- CADE 26
    Band / Heft: -
    Start- / Endseite: 77 - 94
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  14. Datum: Angenommen: 2017 | Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 32nd Annual ACM-IEEE Symposium on Logic in Comput...
    Genre der Quelle: Konferenzband
    Title der Quelle: 32nd Annual ACM-IEEE Symposium on Logic in Comput...
    Band / Heft: -
    Start- / Endseite: 1 - 12
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : ACM
  15. Datum: Angenommen: 2017 | Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Zeitschriftenartikel 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Mathematics in Computer Science
    Band / Heft: 11 (3-4)
    Start- / Endseite: 483 - 502
    Artikelnummer: -
    Ort, Verlag, Ausgabe: New York, NY : Springer
  16. Urheber:
    Datum: Erstellt: 2017-04-28 | Online veröffentlicht: 2017  
    Genre: Forschungspapier 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: -
    Title der Quelle: -
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  17. Urheber:
    Datum: Erstellt: 2017-06-27 | Online veröffentlicht: 2017  
    Genre: Forschungspapier 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: -
    Title der Quelle: -
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  18. ( )
    Subtropical Satisfiability
    Urheber:
    Datum: Erstellt: 2017-06-28 | Online veröffentlicht: 2017  
    Genre: Forschungspapier 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: -
    Title der Quelle: -
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  19. Urheber:
    Datum: Online veröffentlicht: 2017 | Im Druck veröffentlicht: 2017  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: 20th International Conference on Foundations of S...
    Genre der Quelle: Konferenzband
    Title der Quelle: Foundations of Software Science and Computation S...
    Band / Heft: -
    Start- / Endseite: 461 - 479
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin : Springer
     : 1 es sind weitere Quellen vorhanden
  20. Urheber:
    Datum: Erstellt: 2017-05-24 | Online veröffentlicht: 2017  
    Genre: Forschungspapier 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: -
    Title der Quelle: -
    Band / Heft: -
    Start- / Endseite: -
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  21. Urheber:
    Datum: Geändert: 2008-03-25 | Im Druck veröffentlicht: 2007  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: Untitled Event
    Genre der Quelle: Konferenzband
    Title der Quelle: Logic for Programming, Artificial Intelligence, a...
    Band / Heft: -
    Start- / Endseite: 348 - 362
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin, Germany : Springer
     : 1 es sind weitere Quellen vorhanden
  22. Urheber:
    Datum: Geändert: 2007-03-06 | Im Druck veröffentlicht: 2006  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: Untitled Event
    Genre der Quelle: Konferenzband
    Title der Quelle: Automated Technology for Verification and Analysi...
    Band / Heft: -
    Start- / Endseite: 276 - 291
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin, Germany : Springer
     : 1 es sind weitere Quellen vorhanden
  23. ( )
    Labelled Clauses
    Urheber:
    Datum: Geändert: 2008-03-25 | Im Druck veröffentlicht: 2007  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: Untitled Event
    Genre der Quelle: Konferenzband
    Title der Quelle: Automated Deduction - CADE-21 : 21st Internationa...
    Band / Heft: -
    Start- / Endseite: 311 - 327
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin, Germany : Springer
     : 1 es sind weitere Quellen vorhanden
  24. Urheber:
    Datum: Geändert: 2008-03-25 | Im Druck veröffentlicht: 2007  
    Genre: Zeitschriftenartikel 
    Dateien : 1 Datei
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: -
    Genre der Quelle: Zeitschrift
    Title der Quelle: Annals of Mathematics and Artificial Intelligence
    Band / Heft: 49 (1-4)
    Start- / Endseite: 221 - 252
    Artikelnummer: -
    Ort, Verlag, Ausgabe: -
  25. Urheber:
    Datum: Geändert: 2008-03-25 | Im Druck veröffentlicht: 2007  
    Genre: Konferenzbeitrag 
    Dateien : -
    externe Referenzen: -
    Ort, Verlag, Ausgabe: -
    Name der Veranstaltung: Untitled Event
    Genre der Quelle: Konferenzband
    Title der Quelle: Frontiers of Combining Systems : 6th Internationa...
    Band / Heft: -
    Start- / Endseite: 47 - 71
    Artikelnummer: -
    Ort, Verlag, Ausgabe: Berlin, Germany : Springer
     : 1 es sind weitere Quellen vorhanden
 
 
Zurück1234567Vor