Zu "theorem proving" wurden 121 Produkte gefunden

Produkte filtern

Nur Neuerscheinungen

KIT Scientific Publishing (1)
Springer Berlin (77)
Springer International Publishing (25)
Springer London (2)
Springer Singapore (3)
Springer US (9)
Springer Wien (1)
tredition (1)
TUM.University Press (1)
Vieweg & Teubner (1)

Gebunden (6)
Kartoniert / Broschiert (115)

Abdulrab, Habib Pecuchet, Jean-Pierre (1)
Ait Mohamed, Otmane Munoz, César Tahar, Sofiène (1)
Alferes, Jose, Julio Leite, Joao (1)
Arbab, Farhad Jongmans, Sung-Shik (1)
Arbab, Farhad Sirjani, Marjan (1)
Armando, Alessandro Baumgartner, Peter Dowek, Gilles (1)
Artemov, Sergei Nerode, Anil (1)
Artho, Cyrille Ölveczky, Peter Csaba (1)
Autexier, Serge Calmet, Jacques Delahaye, David Ion, P.D.F. Rideau, Laurence Rioboo, Renaud Sexton, Alan (1)
Bae, Kyungmin Ölveczky, Peter Csaba (1)
Barthe, Gilles (1)
Bartocci, Ezio Ramakrishnan, C. R. (1)
Basin, David Wolff, Burkhart (1)
Beckert, Bernhard (1)
Bernardo, Marco Cimatti, Alessandro (1)
Berry, Gerard Comon, Hubert Finkel, Alain (1)
Bibel, Wolfgang Kowalski, R. (1)
Biere, Armin Parker, David (2)
Bloem, Roderick Arbel, Eli (1)
Bläsius, Karl H. Hedtstück, Ulrich Rollinger, Claus-Rainer (1)
Bonacina, Maria Paola Stickel, Mark E. (1)
Bourke, Timothy Chen, Liqian Goharshady, Amir (1)
Brinksma, Ed (1)
Brinksma, Ed Cleaveland, W. Rance Larsen, Kim G. Margaria, Tiziana Steffen, Bernhard (1)
Calmet, Jacques Benhamou, Belaid Caprotti, Olga Henocque, Laurent Sorge, Volker (1)
Calmet, Jaques Campbell, John A. Pfalzgraf, Jochen (1)
Cassez, Franck Jard, Claude Rozoy, Brigitte Ryan, Mark D. (1)
Cavalcanti, Ana Baxter, James (2)
Choueiry, Berthe Y. Walsh, Toby (1)
Cohen, Ernie Rybalchenko, Andrey (1)
Constable, Robert L. Silva, Alexandra (1)
Dassow, Jürgen Kelemen, Jozef (1)
Dezani-Ciancaglini, M. Montanari, U. (1)
Dubois, Catherine Kerber, Manfred (1)
Dutle, Aaron Humphrey, Laura Titolo, Laura (1)
Dwyer, Tim Purchase, Helen Delaney, Aidan (1)
Feng, Xinyu Müller-Olm, Markus Yang, Zijiang (1)
Filiot, Emmanuel Jungers, Raphaël Potapov, Igor (1)
Finkbeiner, Bernd Pu, Geguang Zhang, Lijun (1)
Fischer, Bernd Geldenhuys, Jaco (1)
Ganzinger, Harald (1)
Gao, Xiao-lu Wang, Dongming Yang, Lu (1)
Geist, Daniel Tronci, Enrico (1)
Gianni, Patrizia (1)
Gimenez, Eduardo Paulin-Mohring, Christine (1)
Gunter, Elsa L. Felty, Amy (1)
Gurfinkel, Arie Seshia, Sanjit A. (1)
Halbwachs, Nicolas Peled, Doron (1)
Hanus, Michael Heering, Jan Meinke, Karl (1)
Havelund, Klaus Núnez, Manuel Rosu, Grigore Wolff, Burkhart (1)
Hermanns, Holger Sun, Jun Bu, Lei (1)
Huisman, Marieke Howar, Falk (1)
Hung, Dang Van Kapur, Deepak (1)
Hur, Chung-Kil (1)
Hurd, Joe Melham, Tom (1)
Igarashi, Atsushi (1)
Jensen, Kurt Podelski, Andreas (1)
Jouannaud, Jean-Pierre (1)
Kaplan, Stephane Jouannaud, Jean-Pierre (1)
Kapur, Deepak (1)
Khan, Md. Aquil Manuel, Amaldev (1)
Kleine Buening, Hans (1)
Koenig, Sven Holte, Robert C. (1)
Kohlhase, Andrea Kovács, Laura (1)
Lagarias, Jeffrey C. (1)
Lusk, Ewing Overbeek, Ross (1)
Margaria, Tiziana Melham, Tom (1)
Martin-Löf, Per Mints, Grigori (1)
McAllester, David (1)
McCune, William (1)
McMillan, Ken Middeldorp, Aart Voronkov, Andrei (1)
Melham, Thomas F. Camilleri, Juanito (1)
Meyer, Bertrand Gurevich, Yuri (1)
Meyer, Bertrand Nordio, Martin (1)
Miguel, Ian Tuml, Wheeler (1)
Moreno-Diaz, Roberto Buchberger, Bruno Freire, Jose-Luis (1)
Myers, J.Paul Jr. O'Donnell, Michael J. (1)
Ojeda-Aciego, Manuel Guzman, Inma P. de Brewka, Gerhard Pereira, Luis M. (1)
Olivetti, Nicola Tiwari, Ashish (1)
Pfenning, Frank (1)
Pierre, Laurence Kropf, Thomas (1)
Prevosto, Virgile Seceleanu, Cristina (1)
Quintao Pereira, Fernando Magno (1)
Ramanayake, Revantha Urban, Josef (1)
Rusinowitch, Michael Remy, Jean-Luc (1)
Schneider, Klaus Brandt, Jens (1)
Schroeder-Heister, Peter (1)
Schubert, E. Thomas Windley, Phillip J. Alves-Foss, James (1)
Seidl, Helmut (1)
Simao, Adenilso Morgan, Carroll (1)
Slind, Konrad Bunker, Annette Gopalakrishnan, Ganesh C. (1)
Stickel, Mark E. (1)
van der Meyden, Ron Smaus, Jan-Georg (1)
Van Hung, Dang Ogawa, Mizuhito (1)
Voronkov, Andrei (1)
Watt, Stephen M. Ida, Tetsuo (1)
Winkler, Franz (1)
Zucker, Jean-Daniel Saitta, Lorenza (1)