BibSonomy ::  author :: Stroetmann, Karl A. ::

bookmarks

publications

• A Declarative Semantics for the Prolog Cut Operator.
  Karl Stroetmann and Thomas Glaß ELP, volume 1050 of Lecture Notes in Computer Science, page 255-271. Springer, (1996)
  to dblp by dblp on Sep 30, 2009, 12:00 AM
  URL | BibTeX | spam 
• Designing a Socio-Economic Assessment Method for Integrative Biomedical Research: The Osteoporotic Virtual Physiological Human Project.
  Rainer Thiel and Karl Stroetmann and Veli N. Stroetmann and Marco Viceconti MIE, volume 150 of Studies in Health Technology and Informatics, page 876-880. IOS Press, (2009)
  to dblp by dblp on Sep 16, 2009, 12:00 AM
  URL | BibTeX | spam 
• Technology assessment
  Gisela Schnepf and Karl A Stroetmann and Adolf Zänger Informationszentrum Sozialwiss., Bonn, (1982)
  to Nachrichtenvermittlung by fbw_hannover on Aug 21, 2009, 3:12 PM
  URL | BibTeX | spam 
• Innovation, economic change and technology policies
  Karl A. Stroetmann (eds.). 51, Basel u.a., Birkhäuser, (1977)
  to imported by fbw_hannover on Aug 21, 2009, 9:55 AM
  URL | BibTeX | spam 
• Neue Informations- und Kommunikationstechniken
  Gisela Schnepf and Karl A Stroetmann and Adolf Zänger Informationszentrum Sozialwiss., Bonn, (1982)
  to Nachrichtenvermittlung by fbw_hannover on Aug 21, 2009, 9:55 AM
  URL | BibTeX | spam 
• Combining Inclusion Polymorphism and Parametric Polymorphism
  Sabine Glesner and Karl Stroetmann CoRR(1999) informal publication .
  to dblp by dblp on Jan 2, 2008, 12:00 AM
  URL | BibTeX | spam 
• ICT for Patient Safety: Towards a European Research Roadmap.
  Veli N. Stroetmann and Daniel Spichtinger and Karl Stroetmann and Jean-Pierre Thierry ISBMDA, volume 4345 of Lecture Notes in Computer Science, page 482-493. Springer, (2006)
  to dblp by dblp on Nov 27, 2006, 12:00 AM
  URL | BibTeX | spam 
• Participatory Insight to Universal Access: Methods and Validation Exercises.
  Michael Pieper and Karl Stroetmann Universal Access in Health Telematics, volume 3041 of Lecture Notes in Computer Science, page 271-296. Springer, (2005)
  to dblp by dblp on Jul 21, 2005, 12:00 AM
  URL | BibTeX | spam 
• Patients and EHRs Tele Home Monitoring Reference Scenario.
  Michael Pieper and Karl Stroetmann Universal Access in Health Telematics, volume 3041 of Lecture Notes in Computer Science, page 77-87. Springer, (2005)
  to dblp by dblp on Jul 21, 2005, 12:00 AM
  URL | BibTeX | spam 
• PAN - The Prolog Analyzer.
  Martin Müller and Thomas Glaß and Karl Stroetmann SAS, volume 1145 of Lecture Notes in Computer Science, page 387-388. Springer, (1996)
  to dblp by dblp on Jun 8, 2005, 12:00 AM
  URL | BibTeX | spam 
• Automated Modular Termination Proofs for Real Prolog Programs.
  Martin Müller and Thomas Glaß and Karl Stroetmann SAS, volume 1145 of Lecture Notes in Computer Science, page 220-237. Springer, (1996)
  to dblp by dblp on Jun 8, 2005, 12:00 AM
  URL | BibTeX | spam 
• The Constrained Shortest Path Problem: A Case Study in Using ASMs.
  Karl Stroetmann J. UCS3(4):304-319(1997)
  to dblp by dblp on Dec 1, 2003, 12:00 AM
  URL | BibTeX | spam 
• A Completeness Result for SLDNF-Resolution.
  Karl Stroetmann J. Log. Program.15(4):337-355(1993)
  to dblp by dblp on Nov 27, 2003, 12:00 AM
  URL | BibTeX | spam 
• Seduct - A Proof Compiler for First Order Logic.
  Karl Stroetmann KORSO Book, volume 1009 of Lecture Notes in Computer Science, page 299-316. Springer, (1995)
  to dblp by dblp on Feb 5, 2002, 12:00 AM
  URL | BibTeX | spam