E-LIB Suche - Ergebnisse für: Wiktor, V.

1

Bacteria-based self-healing concrete to increase liquid tig..:

Tziviloglou, E. ; Wiktor, V. ; Jonkers, H.M..
Construction and Building Materials. 122 (2016) - p. 118-125 , 2016

Link: https://doi.org/10.1016/..

2

Biotech solutions for concrete repair with enhanced durabil..:

, In: Biopolymers and Biotech Admixtures for Eco-Efficient Construction Materials,

Jonkers, H.M. ; Mors, R.M. ; Sierra-Beltran, M.G.. - p. 253-271 , 2016

Link: https://doi.org/10.1016/..

3

List of contributors:

, In: Biopolymers and Biotech Admixtures for Eco-Efficient Construction Materials,

Ahmad, M. ; Alvarado-Capó, Y. ; Ashraf, M.A.... - p. xi-xiii , 2016

Link: https://doi.org/10.1016/..

4

Autogenous healing of sea-water exposed mortar: Quantificat..:

Palin, D. ; Jonkers, H.M. ; Wiktor, V.
Cement and Concrete Research. 84 (2016) - p. 1-7 , 2016

Link: https://doi.org/10.1016/..

5

Field performance of bacteria-based repair system: Pilot st..:

Wiktor, V. ; Jonkers, H.M.
Case Studies in Construction Materials. 2 (2015) - p. 11-17 , 2015

Link: https://doi.org/10.1016/..

6

Autogenous healing of marine exposed concrete: Characteriza..:

Palin, D. ; Wiktor, V. ; Jonkers, H.M.
Cement and Concrete Research. 73 (2015) - p. 17-24 , 2015

Link: https://doi.org/10.1016/..

7

Accelerated laboratory test to study fungal biodeterioratio..:

Wiktor, V. ; De Leo, F. ; Urzì, C....
International Biodeterioration & Biodegradation. 63 (2009) 8 - p. 1061-1065 , 2009

Link: https://doi.org/10.1016/..

8

Default logic and specification of nonmonotonic reasoning:

Engelfriet, Joeri ; Wiktor Marek, V. ; Treur, Jan.
Journal of Experimental & Theoretical Artificial Intelligence. 13 (2001) 2 - p. 99-112 , 2001

Link: https://doi.org/10.1080/..

9

Nonmonotonic rule systems with recursive sets of restraints:

Wiktor Marek, V. ; Nerode, Anil ; Remmel, Jeffrey B.
Archive for Mathematical Logic. 36 (1997) 4-5 - p. 339-384 , 1997

Link: https://doi.org/10.1007/..

10

Complexity of computing with extended propositional logic p..:

Wiktor Marek, V. ; Rajasekar, Arcot ; Truszczyński, Mirosław
Annals of Mathematics and Artificial Intelligence. 15 (1995) 3-4 - p. 357-378 , 1995

Link: https://doi.org/10.1007/..

11

Foundations of Mathematics in the Twentieth Century:

Marek, V. Wiktor ; Mycielski, Jan
The American Mathematical Monthly. 108 (2001) 5 - p. 449-468 , 2001

Link: https://www.jstor.org/st..

12

Foundations of Mathematics in the Twentieth Century:

Marek, V. Wiktor ; Mycielski, Jan
The American Mathematical Monthly. 108 (2001) 5 - p. 449-468 , 2001

Link: https://doi.org/10.1080/..

13

Logic Programming and Nonmonotonic Reasoning

Third International Conference, LPNMR '95, Lexington, KY, U... Lecture Notes in Computer Science ; 928;SpringerLink, Bücher

Marek, V. Wiktor ; Truszcynski, Miroslaw ; Nerode, Anil , 1995

Link: https://doi.org/10.1007/..

14

Logic programming and nonmonotonic reasoning

third international conference, LPNMR '95, Lexington, KY, U... Lecture notes in computer science ; 928, Lecture notes in artificial intelligence

Marek, V. Wiktor , 1995

Link: http://dx.doi.org/10.100..

Copies: Zentrale:Magazin 01.P.5712

15

The expressiveness of locally stratified programs:

Blair, Howard A. ; Marek, V. Wiktor ; Schlipf, John S.
Annals of Mathematics and Artificial Intelligence. 15 (1995) 2 - p. 209-229 , 1995

Link: https://doi.org/10.1007/..